A test case generation approach for conformance testing of SDL systems

✍ Scribed by C. Bourhfir; E. Aboulhamid; R. Dssouli; N. Rico

• Publisher: Elsevier Science
• Year: 2001
• Tongue: English
• Weight: 203 KB
• Volume: 24
• Category: Article
• ISSN: 0140-3664
• DOI: 10.1016/s0140-3664(00)00220-6

✦ Synopsis

This paper presents an approach for automatic executable test case and test sequence generation for a protocol modeled by an SDL system. Our methodology uses a uni®ed method which tests an Extended Finite State Machine (EFSM) based system by using control and data ¯ow techniques. To test an SDL system, it extracts an EFSM from each process then the system is tested by incrementally computing a partial product for each EFSM C, taking into account only transitions which in¯uence (or are in¯uenced by) C, and generating test cases for it. This process ends when the coverage achieved by the generated test cases is satisfactory or when the partial products for all EFSMs are tested. Experimental results show that this method can be applied to systems of practical size.