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

Survey on Path-Wise Automatic Generation of Test Data

作　　者：单锦辉[1] 王戟[1] 齐治昌[1] 

机构地区：[1]国防科学技术大学计算机学院,湖南长沙410073

出　　处：《电子学报》2004年第1期109-113,共5页Acta Electronica Sinica

基　　金：国家自然科学基金 (No .60 2 330 2 0 ;60 3730 0 3 ;90 1 0 4 0 0 7);国家 863项目 (No.2 0 0 1AA1 1 32 0 2 );霍英东高等院校青年教师基金 (No .71 0 64)

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

关 键 词：测试数据自动生成 程序路径 约束求解 数值优化 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]