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

摘要：

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

关键词：基于模型的测试、有限状态机、自动测试

所属期刊栏目：34

分类号：TP206(自动化技术及设备)

在线出版日期：2007-08-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：119-123