Mutation Analysis for Testing Finite State Machines

摘要：

Mutation analysis is a program testing method which seeds a fault in a program and tries to identify it with test data, thus promoting the test efficiency. The paper investigates the application of mutation analysis in model-based testing for the modeling language of finite state machines (FSM). We describe a set of mutation operators for FSM based on the fault category; present an algorithm of selecting a test suite for the mutation testing of system models in FSM. In an experiment, other five methods of test suites generating and selecting for FSM are chosen to compare with the mutation testing method. The experiment shows that in respect of faults detecting in FSM, the mutation testing is more effective and efficient than the other FSM testing methods including D-method, W-method and T-method.

关键词： mutation analysis finite state machine FSM test sequence selection model-based testing

作者: Jin-hua Li Geng-xin Dai Huan-huan Li

作者单位: Information Engineering College Qingdao University Qingdao, China International Business College Qingdao University Qingdao, China

会议类型: 国际会议

会议名称: Second International Symposium on Electronic Commerce and Security(第二届电子商务与安全国际研究大会)(ISECS 2009)

会议地点: 南昌

会议语种:英文

页码: 620-624

在线出版日期: 2009-05-22（万方平台首次上网日期，不代表论文的发表时间）