关键词: UML状态图, 测试用例, 测试准则, 公理化评估

Abstract: 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.

Key words: axiomatic assessment, test case, test criteria, UML statecharts