C编译器自动测试工具的剖析与移植

摘要：

软件测试自动化是为了提高测试效率,缩短软件开发周期,降低测试成本.Ctcgen对比验证测试模式使测试更加全面且容易实现测试过程自动化,用随机的思想和算法,代替"穷举"方法解决证明正确性的问题.

关键词：软件测试自动化、编译器、测试工具、代码生成、Ctegen

所属期刊栏目：30

分类号：TP311(计算技术、计算机技术)

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

页数：共3页

页码：95-97