A guided incremental test case generation procedure for conformance testing for CEFSM specified protocols

This paper presents an incremental method for automatic executable test case and test sequence generation for a protocol modeled as communicating extended finite state machines (CEFSMs) with asynchronous communication. Instead of testing the protocol by computing the product of all CEFSMs, we test it by incrementally computing a partial product for each CEFSM C, taking into account only transitions which influence (or are influenced by) C, and generating test cases for it. The partial product for C represents the behavior of C when composed with parts of the other CEFSMs. Experimental results show that this method can be applied to systems of practical size. We also propose a method which reduces the size of the product machine for certain systems.