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

摘要：

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

关键词：测试用例、分支冲突、谓词函数、搜索策略

所属期刊栏目：31

分类号：C394(新技术的应用)

资助基金：总装备部技术基础基金2001JC03

在线出版日期：2006-12-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：73-76