Axiomatic Assessment of UML Statecharts-Based Test Adequacy Criteria

This paper presents a set of test adequacy criteria for UML statecharts,and proposes two new test coverage criteria,N-transition coverage criteria,and classified loop coverage criteria.An axiomatic assessment system of test adequacy criteria is proposed to assess these test criteria.The UML statecharts-based software testing coverage criteria are assessed against the axioms system.From the assessment,testers can get conclusions that help them apply these criteria in practice.The assessment of test adequacy criteria will provide software engineers with a guide to apply each criterion.