Predicates, Path Predicates and Achievable Paths in Software Testing

Loop Testing Time

• Any kind of loop can lead to long testing time, especially if all the extreme value cases are to be attempted (Max -1, Max, Max + 1)
• This situation is obviously worse for nested and dependent on concatenated loops
• Consider nested loops in which testing the combination of extreme values lead to long test times. Several options to deal with are:

                                Prove that the combined extreme cases are hypothetically possible, they are not possible in the real world
                                        Put in limits or checks that prevent the combined extreme cases. Then you have to test the software that implements such safety measures