论文部分内容阅读
程序自动驱动工具是一个重要的软件测试辅助工具,它能够有铲地辅助软件测试人员测试程序,从而提高软件测试效率。本文讨论了我们设计的一个PASCAL程序自动驱动工具PADT,PADT能够使自底向上渐增式的软件测试过程自动化--辅助用户选择一个可测模块,并为该模块生成 一个测试程序TEST,通过运行TEST来达到测试该模块的目的。本文详细讨论了PADT的设计思想和实现方法。