论文部分内容阅读
该文从提高软件质量为出发点,介绍了软件测试的目的、过程、步骤与方法,强调了从软件过程角度看待软件测试问题以及"软件开发全过程检测,力争本阶段修错误"测试原则的重要性,并以提高软件测试效率为目的,引出软件测试自动化和测试工具的概念和实现方法.为了提高C编译器的测试效率,作者提出并实现了CCCE(CCoimpiler Evaluation)自动测试工具.该文详细剖析了测试用例生成所需解决的三问题及其解决方案.如何达到表达式、语句嵌套和数据结构上的任意复杂性及其语义跟踪方面作了探讨和实践.