A Unified Test Case Generation Method for the EFSM Model Using Context Independent Unique Sequences
T. Ramalingom, Anindya Das, Krishnaiya Thulasiraman · 1996
Automatic test case generation from protocol standards is a means of selecting high quality test cases efficiently. Recently, International Organization for Standards (ISO) has established a working group for studying the application of Formal Methods in Conformance Testing (FMCT) [5]. One of the primary aims of this group is to enable computer-aided test case generation from protocol standards specified in Formal Description Techniques (FDT) such as Estelle [2], SDL [3], and LOTOS [4]. In this paper, we present a new method for automatically generating test cases for both control flow and data flow aspects of a protocol which is represented as an Extended Finite State Machine (EFSM) as defined in [21].