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

摘要：

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

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

所属期刊栏目：31

分类号：TP311(计算技术、计算机技术)

在线出版日期：2008-06-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：126-129,132