Ada软件测试用例生成工具

ADA SOFTWARE TEST CASE GENERATION TOOL

软件测试是软件开发过程的一个重要环节，它的主要工作是测试用例的选择．由于人为地选择测试用例带有很大的盲目性和倾向性，因此开发一个能够自动生成测试用例的工具是十分必要的．本文阐述了软件测试用例生成的一些概念和方法，重点讨论了函数最小化方法和插装技术在测试用例生成工具中的应用。

Software testing, whose main task includes the selection of test cases, is very important in software development. Since selecting test cases manually is usually blind and with great tendency, it is necessary to develop a tool which can generate test cases automatically. This paper first introduces some concepts and methods used in Ada software test case generation, and then puts emphasis on the application of function minimization method and instrumentation techniques, finally it describes the design and implementation of TCGT——the Ada software test case generation tool.