摘要
文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时,还没有测试充分性准则明确定义循环应该被执行多少次,而循环只被执行一次是很不充分的。针对这种情况,在现有测试准则的基础上提出了两种扩展的基于UML状态图测试的充分性准则:ZOT-R循环覆盖准则和全ZOT-R路径覆盖准则,丰富并完善了现有的测试准则体系。并且通过结合一个具体实例给出了这些覆盖准则在具体测试实践中的应用方法,探讨了这些覆盖准则之间的包含关系。
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.
出处
《计算机技术与发展》
2013年第8期43-46,51,共5页
Computer Technology and Development
基金
国家自然科学基金资助项目(91118007)
