C程序路径覆盖及测试用例自动生成系统

开发一个实用化的软件测试用例自动生成系统，作为软件质量保证系统的一个重要的组成工具。实验中我们基于C程序模块建立起路径覆盖及测试用例自动生成系统，尽管目前尚不完善，但力求其能向实用化的方向发展。