A type of software testing that examines the loop constructs for accuracy.