计算机技术与发展Issue(8):43-46,51,5.DOI:10.3969/j.issn.1673-629X.2013.08.011
基于UML状态图的软件测试充分性准则研究
Research on Adequacy Criteria for Software Testing Based on UML Statecharts
摘要
Abstract
Discussed a set of adequacy criteria for testing based on UML statecharts. In software testing,there is no adequacy defines cycle should carry out how many times,and cycle perform only once is not sufficient. Based on the existing testing criteria,put forward two ex-panded adequacy criteria based on UML statecharts:ZOT-R cycle coverage criteria and full ZOT-R path coverage criteria,enriching and completing the existing testing criteria system. Also produced the methods of applying the test criteria combined with a specific example, and discussed the rationship between these coverage criteria.关键词
UML状态图/软件测试/充分性准则Key words
UML statecharts/software testing/adequacy criteria分类
信息技术与安全科学引用本文复制引用
杨志伟,吴兵..基于UML状态图的软件测试充分性准则研究[J].计算机技术与发展,2013,(8):43-46,51,5.基金项目
国家自然科学基金资助项目(91118007) (91118007)