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

第 卷 第 期 计 算 机 研 究与 发 展 ， 40 6 VoI .40 No . 6 年 月 2003 6 JOU RNAL OF CO MP U T ER RESEARCH A ND DEVELOP MEN T June 2003 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 一种基于规范和程序域分析的软件测试方法 赵瑞莲1 闵应骅2 1（北京化工大学信息科学与技术学院 北京 100029 ） 2 （中国科学院计算技术研究所 北京 100080 ） （ ） rIzhao @ maiI . buct . edu . cn 摘 要 虽然软件规范规定了输入变量的定义域（功能域），但程序实现本身也定义了其定义域（运行域）如果二者不能 . 完全重合，那么某些软件故障就可检测出来. 为此，提出了一种基于规范和程序域分析的软件测试方法，介绍了一个运行 域自动确定系统 ，并讨论了边界测试数据的选取原则 对特殊表达式，采用程序切片技术，构造基于表达式的可 ADSOD . 执行模块，通过执行该模块，识别其输入变量的奇异值，进而确定其输入变量的取值范围. 通过分析功能域和运行域的边 界测试数据集，检测二者的重合性，并根据其分析结果产生测试用例. 实验表明：所提方法产生的测试用例，可以有效地 提高测试效率. 关键词 软件测试；域分析；边界测试数据集；功能域；运行域 中图法分类号 T P311. 5 A Software Testin Method Based on Domain Anal sis of S ecification and Pro- g y p gram ZHAO Rui-Lian1 and M IN Ying-Hua2 1（ ， ） Bei in Uniuersit o Chemical Technolo Bei in 100029 g y f gy g 2 （ ， ， ） I nstitute o Com utin Technolo Chinese A cadem o Sciences Bei in 100080 f p g gy y f g ， Abstract T he s ecification of a ro ram defines a in ut domain termed functionaI domain w hiIe the im- p p g p