文献类型：期刊文章

作　　者：杨志伟[1] 吴兵[1,2]

机构地区：[1]中国航天系统科学与工程研究院软件工程研究部,北京100048 [2]中国航天科技集团公司软件评测中心,北京100048

出　　处：《计算机技术与发展》

基　　金：国家自然科学基金资助项目(91118007)

年　　份：2013

卷　　号：23

期　　号：8

起止页码：43-46

语　　种：中文

收录情况：JST、RCCSE、ZGKJHX、普通刊

摘　　要：文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时,还没有测试充分性准则明确定义循环应该被执行多少次,而循环只被执行一次是很不充分的。针对这种情况,在现有测试准则的基础上提出了两种扩展的基于UML状态图测试的充分性准则:ZOT-R循环覆盖准则和全ZOT-R路径覆盖准则,丰富并完善了现有的测试准则体系。并且通过结合一个具体实例给出了这些覆盖准则在具体测试实践中的应用方法,探讨了这些覆盖准则之间的包含关系。

关 键 词：UML状态图 软件测试 充分性准则  

分 类 号：TP311]