Journal of Shanghai University(Natural Science Edition)
• Articles • Next Articles
MIAO Huai-kou, FEI Li-zhi
Received:
Revised:
Online:
Published:
Contact:
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
MIAO Huai-kou;FEI Li-zhi. Axiomatic Assessment of UML Statecharts-Based Test Adequacy Criteria[J]. Journal of Shanghai University(Natural Science Edition).
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.journal.shu.edu.cn/EN/
https://www.journal.shu.edu.cn/EN/Y2007/V13/I5/489