Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A test case generation approach for conformance testing of SDL systems1
 

Summary: 1
A test case generation approach for
conformance testing of SDL systems1
C. Bourhfir2
, E. Aboulhamid2
, R. Dssouli2
, N. Rico3
2
Département d'Informatique et de Recherche Opérationnelle,
Pavillon André Aisenstadt, C.P. 6128,
succursale Centre-Ville, Montréal, Québec, H3C-3J7, Canada.
E-mail: {bourhfir, dssouli, aboulham}@iro.umontreal.ca.
3
Nortel, 16 Place du commerce, Verdun, H3E-1H6
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 uni-
fied 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

  

Source: Aboulhamid, El Mostapha - Département d'Informatique et recherche opérationnelle, Université de Montréal

 

Collections: Engineering