A Novel Approach for On-The-Fly Test Cases Synthesis

By the automaton theory and related notion of synchronous product, an approach for On-The-Fly test cases synthesis is presented in the paper(star). In the approach, both FSM models for specification and test purposes make synchronous product guided by practical execution of the system under test, and verdicts from the process of synchronous product determined test cases synthesis. The approach, making test cases synthesis dynamically, needs only to construct a small portion of state space of system before a test case is found, avoiding the problem of state-explosion by utilizing "On-The-Fly" testing. Finally, a simple example through this paper is studied in detail to illustrate how to apply the proposed approach.