摘要
介绍了一种基于模型的软件动态测试方法,该方法通过将被测程序抽象成有限状态机,将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时,能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。
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.
出处
《北京化工大学学报（自然科学版）》
CAS
CSCD
北大核心
2007年第A01期119-123,共5页
Journal of Beijing University of Chemical Technology(Natural Science Edition)
