基于模型的有限状态机软件动态测试方法 (2007年)

【文件属性】：

文件名称：基于模型的有限状态机软件动态测试方法 (2007年)

文件大小：295KB

文件格式：PDF

更新时间：2024-06-02 05:51:45

工程技术 论文

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。