Test cases selection from SDL specifications

Computer Networks

Volumn 35, Issue 6, 2001, Pages 693-708

  Bourhfir, C ^a   Aboulhamid, E ^a   Khendek, F ^b   Dssouli, R ^a,c  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

^b Gina Cody School of Engineering and Computer Science   (Canada)

^c Tel: +1 514 343 7599 ^*  (Canada)

Author keywords

Control flow testing; Data flow testing; EFSM; SDL; Test criteria; Test selection

Indexed keywords

EXTENDED FINITE STATE MACHINES (EFSM);

DATA FLOW ANALYSIS; FINITE AUTOMATA; SEQUENTIAL MACHINES; SOFTWARE ENGINEERING;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0035341659     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1389-1286(00)00203-6     Document Type: Article

References (26)

1. Automating the process of test derivation from SDL specifications
2. Test selection based on finite state models
3. Selecting software test data using data flow information
4. A test methodology for protocol testing
5. A test sequence selection method for protocol testing
6. Generating conformance test sequences for combined control and data flow of communication protocols
7. An executable protocol test sequence generation method for EFSM-specified protocols
8. A unified test case generation method for the EFSM model using context independent unique sequences
9. A unified approach to protocol test sequence generation
10. Automatic executable test case generation for EFSM specified protocols
11. Conformance testing of protocols specified as communicating finite state machines a guided random walk based approach
12. Testing in context: Framework and test derivation, Computer Communication
13. A pragmatic approach to generating test cases for embedded systems
14. A guided incremental test case generation method for testing CEFSM based systems
15. GOAL: Observing SDL behaviors with ObjectGeode
16. TESDL: Experience with generating test cases from SDL specifications
17. Two approaches linking a test generation tool with verification techniques