Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A guided incremental test case generation procedure for conformance
 

Summary: 1
A guided incremental test case
generation procedure for conformance
testing for CEFSM specified protocols1
C. Bourhfir2, R. Dssouli2, E. Aboulhamid2, 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 incremental method for automatic executable test case and
test sequence generation for a protocol modeled as communicating extended finite
state machines (CEFSMs) with asynchronous communication. Instead of testing
the protocol by computing the product of all CEFSMs, we test it by incrementally
computing a partial product for each CEFSM C, taking into account only
transitions which influence (or are influenced by) C, and generating test cases for
it. The partial product for C represents the behavior of C when composed with
parts of the other CEFSMs. Experimental results show that this method can be

  

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

 

Collections: Engineering