[1]杨志伟,吴兵.基于UML状态图的软件测试充分性准则研究[J].计算机技术与发展,2013,(08):43-46.
　YANG Zhi-wei[],WU Bing[].Research on Adequacy Criteria for Software Testing Based on UML Statecharts[J].,2013,(08):43-46.
点击复制

基于UML状态图的软件测试充分性准则研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2013年08期
页码:
43-46
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Research on Adequacy Criteria for Software Testing Based on UML Statecharts
文章编号:
1673-629X（2013）08-0043-04
作者:
杨志伟1; 吴兵1; 2
[1]中国航天系统科学与工程研究院软件工程研究部;[2]中国航天科技集团公司软件评测中心
Author(s):
YANG Zhi-wei[1]; WU Bing[1; 2]
关键词:
UML状态图; 软件测试; 充分性准则
Keywords:
UML statecharts; software testing; adequacy criteria
文献标志码:
A
摘要:
文中详细讨论了一组基于UML状态图的软件测试充分性准则。在软件测试时，还没有测试充分性准则明确定义循环应该被执行多少次，而循环只被执行一次是很不充分的。针对这种情况，在现有测试准则的基础上提出了两种扩展的基于UML状态图测试的充分性准则：ZOT-R循环覆盖准则和全ZOT-R路径覆盖准则，丰富并完善了现有的测试准则体系。并且通过结合一个具体实例给出了这些覆盖准则在具体测试实践中的应用方法，探讨了这些覆盖准则之间的包含关系
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

相似文献/References:

[1]张磊 王晓军.基于遗传算法的业务流程测试[J].计算机技术与发展,2010,(03):155.
　ZHANG Lei,WANG Xiao-jun.Test of Business Process Based on Genetic Algorithm[J].,2010,(08):155.
[2]樊玮 朱贺.软件结构化测试用例自动生成方法[J].计算机技术与发展,2010,(05):26.
　FAN Wei,ZHU He.Summary of Method for Software Structured Testing Case Automatic Generation[J].,2010,(08):26.
[3]徐金宝 解芳 吴美红 李升.轻量级Java EE框架下软件测试的应用研究[J].计算机技术与发展,2009,(09):115.
　XU Jin-bao,XIE Fang,WU Mei-hong,et al.Research on Software Testing in Light - Weight Java EE Framework[J].,2009,(08):115.
[4]孙淑香 侯秀萍 蔡文涛.基于树型模型的黑盒测试用例自动生成[J].计算机技术与发展,2009,(02):77.
　SUN Shu-xiang,HOU Xiu-ping,CAI Wen-tao.Black- Box Testing Case Automatic Generation Based on Tree Model[J].,2009,(08):77.
[5]马菁 顾景文.决策树在软件测试用例生成中的应用[J].计算机技术与发展,2008,(02):66.
　MA Jing,GU Jing-wen.Application of Decision Tree on Software Test Case Generation[J].,2008,(08):66.
[6]张磊磊 李心科.基于API和Postscript的图形自动化验证方法[J].计算机技术与发展,2008,(05):94.
　ZHANG Lei-lei,LI Xin-ke.Research on Graphical Automated Verification Method Based on API and Postscript[J].,2008,(08):94.
[7]万松松 薛锦云 谢武平.最小测试用例集生成方法改进及应用[J].计算机技术与发展,2008,(10):181.
　WAN Song-song,XUE Jin-yun,XIE Wu-ping.Improvement and Application of Minimal Test Suite Generation Technology[J].,2008,(08):181.
[8]邓璐娟 卢华琦 孙义坤 刁海港.改进的粒子群算法在测试数据生成中的应用[J].计算机技术与发展,2010,(07):216.
　DENG Lu-juan,LU Hua-qi,SUN Yi-kun,et al.Improved Adaptive PSO Application on Automatic Test Data Generation[J].,2010,(08):216.
[9]赵荣利 崔志明 陈建明.面向对象软件测试技术的研究与应用[J].计算机技术与发展,2007,(01):15.
　ZHAO Rong-li,CUI Zhi-ming,CHEN Jian-ming.Research and Application on Object- Oriented Software Testing[J].,2007,(08):15.
[10]张术梅 孙辉.基于UML的面向对象软件静态测试方法的研究[J].计算机技术与发展,2007,(01):125.
　ZHANG Shu-mei,SUN Hui.Research on Method of Object - Oriented Software Static Testing Based on UML[J].,2007,(08):125.
[11]高莉 李龙澍.基于UML状态图的测试技术研究[J].计算机技术与发展,2009,(05):68.
　GAO Li,LI Long-shu.A Survey about UML Statechart Testing[J].,2009,(08):68.

更新日期/Last Update: 1900-01-01