文献类型：期刊文章

作　　者：马亮[1] 张刚[1]

机构地区：[1]中国航天工程咨询中心,北京100037

出　　处：《现代电子技术》

年　　份：2008

卷　　号：31

期　　号：6

起止页码：126-129

语　　种：中文

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

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

关 键 词：测试用例 自动生成 模型检查  形式化建模

分 类 号：TP311]