Adequacy Criteria for Testing Based on UML State Diagram
Zhan Xue · 2005
This paper presents these adequacy criteria that generate test cases based on UML diagram. It isn't very sufficiency that a loop is executed only one time while testing. This paper proposes ZOT loop coverage criteria, name- ly a loop is executed zero, one and two times,At the same time,full ZOT path coverage criteria is proposed. The ap- plications of these coverage criteria are given and the subsumption relationships of coverage criteria are discussed.