首页 | 本学科首页   官方微博 | 高级检索  
     

基于UML状态图测试的充分性准则
引用本文:占学德,缪淮扣.基于UML状态图测试的充分性准则[J].计算机科学,2005,32(5):230-235.
作者姓名:占学德  缪淮扣
作者单位:上海大学计算机学院,上海,200072
基金项目:国家自然科学基金(60173030和60373072)
摘    要:本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这些覆盖准则之间的包含关系。

关 键 词:UML状态图  充分性  覆盖准则  测试用例  包含关系  图生成  循环  执行

Adequacy Criteria for Testing Based on UML State Diagram
ZHAN Xue-De,MIAO Huai-Kou.Adequacy Criteria for Testing Based on UML State Diagram[J].Computer Science,2005,32(5):230-235.
Authors:ZHAN Xue-De  MIAO Huai-Kou
Affiliation:ZHAN Xue-De,MIAO Huai-Kou School of Computer Engineering and Science,Shanghai University,Shanghai 200072
Abstract:This paper presents these adequacy criteria that generate test cases based on UML diagram. It isn't very sufficiency that a loop is executed only one time while testing. This paper proposes ZOT loop coverage criteria, name- ly a loop is executed zero, one and two times,At the same time,full ZOT path coverage criteria is proposed. The ap- plications of these coverage criteria are given and the subsumption relationships of coverage criteria are discussed.
Keywords:UML state diagram  Test criteria  Specification-based software testing  
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号