DocumentCode
498472
Title
Mutation Analysis for Testing Finite State Machines
Author
Li, Jin-Hua ; Dai, Geng-Xin ; Li, Huan-Huan
Author_Institution
Inf. Eng. Coll., Qingdao Univ., Qingdao, China
Volume
1
fYear
2009
fDate
22-24 May 2009
Firstpage
620
Lastpage
624
Abstract
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.
Keywords
finite state machines; program testing; software fault tolerance; D-method; T-method; W-method; fault category; fault detection; finite state machine; model-based testing; modeling language; mutation analysis; mutation operator; mutation testing; program fault; program testing; Automata; Data engineering; Educational institutions; Electronic equipment testing; Error analysis; Genetic mutations; Information analysis; Programming; Software testing; System testing; FSM; finite state machine; model-based testing; mutation analysis; test sequence selection;
fLanguage
English
Publisher
ieee
Conference_Titel
Electronic Commerce and Security, 2009. ISECS '09. Second International Symposium on
Conference_Location
Nanchang
Print_ISBN
978-0-7695-3643-9
Type
conf
DOI
10.1109/ISECS.2009.158
Filename
5209814
Link To Document