State Test Data Generation Based on State Machine Code Synthesis
Cui Duwu · Jisuanji gongcheng · 2004
At present, the research of software test based on state machine mainly rocuses on tne generation of fest sequence, nowever, me characterization of state machine determines that test sequence is not independent on test data that is to say the execution of a test sequence is restraint by the test data belong to the sequence. This paper proposes a method of code synthesis to simulate the action of state machine so it transforms state machine into an executable specification based on which the paper adopts GA to generate test data. It provides a feasible way for generating test data of state machine.