Test cases selection from SDL specifications

Authors
Bourhfir, C Aboulhamid, E Khendek, F Dssouli, R
Citation
C. Bourhfir et al., Test cases selection from SDL specifications, COMPUT NET, 35(6), 2001, pp. 693-708
Citations number
23
Categorie Soggetti
Information Tecnology & Communication Systems
Journal title
COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING
ISSN journal
13891286 → ACNP
Volume
35
Issue
6
Year of publication
2001
Pages
693 - 708
Database
ISI
SICI code
1389-1286(200105)35:6<693:TCSFSS>2.0.ZU;2-T
Abstract
Selecting appropriate test cases is a crucial activity in software testing. In this paper, we give an overview and discuss existing methods and tools for test case selection for communication protocols. More precisely, we are interested in techniques for test case generation from specification and d escription language (SDL) specifications and its underlying behavioral mode l, extended finite state machines (EFSM) and its variants. (C) 2001 Elsevie r Science B.V. All rights reserved.