一种基于规范和程序域分析的软件测试方法

摘要：

虽然软件规范规定了输入变量的定义域(功能域),但程序实现本身也定义了其定义域(运行域).如果二者不能完全重合,那么某些软件故障就可检测出来.为此,提出了一种基于规范和程序域分析的软件测试方法,介绍了一个运行域自动确定系统ADSOD,并讨论了边界测试数据的选取原则.对特殊表达式,采用程序切片技术,构造基于表达式的可执行模块,通过执行该模块,识别其输入变量的奇异值,进而确定其输入变量的取值范围.通过分析功能域和运行域的边界测试数据集,检测二者的重合性,并根据其分析结果产生测试用例.实验表明:所提方法产生的测试用例,可以有效地提高测试效率.

关键词：软件测试、域分析、边界测试数据集、功能域、运行域

所属期刊栏目：40

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

资助基金：国家自然科学基金69733010;北京化工大学校科研和教改项目QN0147

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

页数：共10页

页码：846-855