基于有限自动机的软件测试方法

Study on software test method based on finite state machine

基于有限自动机的增量一致性测试方法只对实现系统的修改部分进行测试,而被测试部分与规格说明书的修改部分相对应。在系统实现过程中,规格说明书经常改动,而新方法不测试给定系统的重用部分,所以可以大大节省时间,提高测试效率。特别是当整个规格说明书的修改部分低于20%时,效果更明显。

With the objective to overcome the shortcomings of the incremental conformance test method based on the finite state machine （FSM）, a new test method is suggested. The new method avoids testing the reused （unmodified） parts of the given system.