面向C程序的测试用例自动生成实现

Implementation of C Program-oriented Automated Path Test Case Generation System

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的。对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的。介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法。该算法有效地改善了前有算法的一些缺陷,显示出不错的效果。

It is difficult to develop a satisfiable testing tool. Most tools only work for one or several program language. It is necessary to develop automated testing tool for our army with some given language. It introduces a system of test data generation for C program, and then put emphasis on its constitutes and the application of a new search algorithms. The algorithms can improve the old ones, and have showed a good effect in experimental phase.