-
题名一种基于规范和程序域分析的软件测试方法
被引量：6
- 1
-
-
作者
赵瑞莲
闵应骅
-
机构
北京化工大学信息科学与技术学院
中国科学院计算技术研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2003年第6期846-855,共10页
-
基金
国家自然科学基金重点项目 ( 697330 10 )
北京化工大学青年科研基金 (QN0 14 7)
-
文摘
虽然软件规范规定了输入变量的定义域 (功能域 ) ,但程序实现本身也定义了其定义域 (运行域 ) 如果二者不能完全重合 ,那么某些软件故障就可检测出来 为此 ,提出了一种基于规范和程序域分析的软件测试方法 ,介绍了一个运行域自动确定系统ADSOD ,并讨论了边界测试数据的选取原则 对特殊表达式 ,采用程序切片技术 ,构造基于表达式的可执行模块 ,通过执行该模块 ,识别其输入变量的奇异值 ,进而确定其输入变量的取值范围 通过分析功能域和运行域的边界测试数据集 ,检测二者的重合性 ,并根据其分析结果产生测试用例 实验表明 :所提方法产生的测试用例 。
-
关键词
软件测试
域分析
边界测试数据集
功能域
运行域
-
Keywords
software testing
domain analysis
set of boundary test data
functional domain
operational domain
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
