Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
A new technique for generating protocol test
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
Computer Network Usage: Recent Experiences
Computer Network Usage: Recent Experiences
The UniTesK Approach to Designing Test Suites
Programming and Computing Software
Validation of SDL-based architectural design models using communication-based coverage criteria
Information and Software Technology
Hi-index | 0.24 |
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.