测试用例自动生成方法的现状及研究

• 作者: 张刚 马亮
• 来源期刊: 现代电子技术
• 关键词: 测试用例 自动生成 模型检查 形式化建模
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 软件技术
• 页码范围: 126-129,132
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2008.06.045

摘要

软件测试数据生成在软件系统开发费用中占很大比重.如果该过程能自动实现,则会极大地减少软件开发的周期和费用.测试用例的生成工作包含选定被测任务、分析输入数据、确定其取值并分析时应的输出数据.其中分析对应的输出教据是决定测试是否成功的关键环节.测试用例选取的一个中心原则,就是以用最少的测试用例找到尽可能多的错误.目前的工具尚不能完成自动生成测试用例这个环节,往往是只能采用人工选取的方法.按所采用的方法和研究对象的不同,将测试用例自动生成方法主要分为5类:基于有限状态集的测试,基于标注的转换系统的测试,针对面向模型的需求规格说明的测试,针对面向对象软件的测试,以及运用模型检查生成测试用例的方法.在简单介绍前4种方法之后,重点对模型检查的方法进行详细的分析和探讨.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张刚		11	50	3.0	6.0
2	马亮		4	49	2.0	4.0