Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  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
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
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