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

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

Abstract: The objective of software test automatization is to improve efficiency of testing and to shorten the cycle of software development as well to reduce cost of software testing. In Ctcgen , a reference compiler is introduced to verify the result of testing and the random algorithm resolves the problem of the test case generated automatically covering with all the point of testing instead of the method of enumerating all things.

中图分类号: 

• TP311