%0 Journal Article
%T 基于模型的有限状态机软件动态测试方法
%A 朱玉文
%A 刘俐
%A 杨家宁
%A 刘万春
%J 北京化工大学学报(自然科学版)
%D 2007
%X 介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。
%U http://www.journal.buct.edu.cn/CN/abstract/abstract13143.shtml