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

Dynamic software testing method based on fintie state machine model

作　　者：朱玉文[1] 刘俐[1] 杨家宁[1] 刘万春[1] 

机构地区：[1]北京理工大学计算机科学技术学院,北京100081

出　　处：《北京化工大学学报（自然科学版）》2007年第A01期119-123,共5页Journal of Beijing University of Chemical Technology(Natural Science Edition)

摘　　要：介绍了一种基于模型的软件动态测试方法,该方法通过将被测程序抽象成有限状态机,将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时,能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。In this paper, model-based testing approach is introduced. By abstracting a finite state machine（FSM） from the System under Testing（SUT）, this approch can increase the test coverage by developing test cases for each states and transition, making the implementation of test tool and cases easier. When the SUT changes, only the test tool need to be rebuilt while the previous test cases can still be used without modification.

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

分 类 号：TP206.1[自动化与计算机技术—检测技术与自动化装置]