We can think of coverage criteria for loops. After all, testing all possible iterations of a loop can be unfeasible.

A test suite satisfies the loop boundary adequacy criterion if for every loop L:

• There is a test case which iterates L zero times
• There is a test case which iterates L once
• There is a test case which iterates L more than once

In practice, this criteria is usually combined with other adequacy criteria such as MC/DC.

Further reading:

• Chapter 12 of Pezzè, M., & Young, M. (2008). Software Testing and Analysis: Process. Principles and Techniques, 4-6.