面向路径的测试数据自动生成方法述评

被引：43

作者：

单锦辉

王戟

齐治昌

机构：

[1] 国防科学技术大学计算机学院

来源：

电子学报 | 2004年 / 01期

关键词：

测试数据自动生成; 程序路径; 约束求解; 数值优化;

D O I：

暂无

中图分类号：

TP311.1 [程序设计];

学科分类号：

摘要：

为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题 .求解该问题的实质在于约束系统的建立和求解 ,其主要困难之一在于非线性约束求解是一个理论上困难的问题 .文中将面向路径的测试数据自动生成方法分为四类———随机法、静态法、动态法和试探法 ,分析和比较了每一类中有代表性的方法 ,并探讨了研究方向 .

引用

页码：109 / 113

页数：5

共 9 条

[1] 遗传算法的数学基础 [J].

张文修 ;

梁怡 .

西安交通大学学报, 2000, (10) :4-4

[2] 遗传算法在软件测试数据生成中的应用 [J].

荚伟 ;

奚红宇 ;

高仲仪 .

北京航空航天大学学报, 1998, (04) :68-71

[3] 区间算术在软件测试中的应用 [J].

王志言 ;

刘椿年 .

软件学报, 1998, (06) :39-44

[4]

遗传算法的数学基础.[M].张文修;梁怡编著;.西安交通大学出版社.2000,

[5]

最优化理论与方法.[M].袁亚湘;孙文瑜著;.科学出版社.1997,

[6]

软件质量保障与测试.[M].朱鸿;金凌紫著;.科学出版社.1997,

[7]

递归论.[M].莫绍揆著;.科学出版社.1987,

[8] Improved method to generate path-wise test data [J].

Shan, JH ;

Wang, J ;

Qi, ZC ;

Wu, JP .

JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003, 18 (02) :235-240

[9]

The applicability of program schema results to programs.[J].Elaine J. Weyuker.International Journal of Computer & Information Sciences.1979, 5

← 1 →