面向路径的测试数据自动生成工具的设计与实现  

Design and Implementation of a Path-Wise Automatic Generator of Test Data

作　　者：单锦辉[1] 王戟[1] 齐治昌[1] 马晓东[1] 单黎君[1] 

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

出　　处：《计算机工程与科学》2002年第1期103-107,共5页Computer Engineering & Science

基　　金：国家自然科学基金资助项目 (69973 0 5 1);国家 863计划资助项目 (863 3 0 6 ZT0 6 0 4 1);霍英东青年教师基金资助项目 (710 64 )

摘　　要：面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松弛方法[1 ] 求解该问题。文献[2 ]改进了该方法 ,证明改进后的方法与原方法生成的约束系统相同。文章以改进后的方法为核心算法 ,根据软件工程的思想 ,采用面向对象的方法 ,使用UML进行设计 ,并且在LinuxRedHat 7 0操作系统下用C + +语言实现一个为指定程序路径自动生成测试数据的原型工具 。The automatic generation of test data for a given path in a program is one of the elementary problems in software testing Gupta et al proposed a method,which is referred to as the Iterative Relaxation Method,to address the above problem by linearizing the predicate functions We improve the Iterative Relaxation Method and prove the equivalence of the systems of constraints generated by both methods In this paper,a prototype of a path wise test data generator,whose fundamental algorithm is our method,has been developed by adopting the philosophy of software engineering and object oriented methodology The paper introduces the design of the prototype with the Unified Modeling Language,and the implementation of the prototype in C++ the on the Linux Red Hat 7 0 operating system We have transported the prototype to the Windows platform successfully

关 键 词：测试数据自动生成工具 软件工具 UML 面向对象 

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