A test case generation approach for conformance testing of SDL systems |
| |
Affiliation: | 1. Computer Sciences Department, Applied College, University of Tabuk, Tabuk, Kingdom of Saudi Arabia;2. RMESS, IRIT, University of Toulouse II, Toulouse, France |
| |
Abstract: | 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 unified method which tests an Extended Finite State Machine (EFSM) based system by using control and data flow 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 influence (or are influenced 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. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|