| 面向路径的测试数据自动生成方法述评 |
| |
| 引用本文： | 单锦辉,王戟,齐治昌.面向路径的测试数据自动生成方法述评[J].电子学报,2004,32(1):109-113. |
| |
| 作者姓名： | 单锦辉 王戟 齐治昌 |
| |
| 作者单位： | 国防科学技术大学计算机学院,湖南长沙 410073 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划)，教育部霍英东教育基金会高等院校青年教师基金 |
| |
| 摘 要： | 为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题.求解该问题的实质在于约束系统的建立和求解,其主要困难之一在于非线性约束求解是一个理论上困难的问题.文中将面向路径的测试数据自动生成方法分为四类——随机法、静态法、动态法和试探法,分析和比较了每一类中有代表性的方法,并探讨了研究方向.
|
| 关 键 词： | 测试数据自动生成 程序路径 约束求解 数值优化 |
| 文章编号： | 0372-2112(2004)01-0109-05 |
| 收稿时间： | 2001-08-14 |
Survey on Path-Wise Automatic Generation of Test Data |
| |
| SHAN Jin-Hui,WANG Ji,QI Zhi-Chang.Survey on Path-Wise Automatic Generation of Test Data[J].Acta Electronica Sinica,2004,32(1):109-113. |
| |
| Authors: | SHAN Jin-Hui WANG Ji QI Zhi-Chang |
| |
| Affiliation: | School of Computer Science,National University of Defence Technology,Changsha,Hunan 410073,China |
| |
| Abstract: | Automatic generation of test data for a given path in a program is one of the elementary problems in software testing,the essence of which lies in the deriving and solving of system of constraints.The issue of how to solving nonlinear constraint is a hard problem in theory.In this paper,we classify the approaches of generation of test data for a given path into four categories:random,static,dynamic,and heuristic.The representative methods in each category are analyzed and compared.The direction of research is also explored. |
| |
| Keywords: | automatic generation of test data program path constraints solving numerical optimization |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
