Test generation for interworking systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Computer Communications Année : 2000

Test generation for interworking systems

Résumé

Testing is an experimental method aimed at checking the correctness of a system implementation. Industrial companies are paying a lot for test development, as the presence of faults in distributed systems is not always tolerable. The interest for interworking systems testing is growing as these systems are more and more involved in the design of new communication standards. But testing interworking systems faces state space explosion problem due to concurrency. This paper proposes an on the fly technique to avoid combinatory explosion. The proposed method automatically computes tests sequences from interworking subsystem specifications. A case study with the B-ISDN ATM is provided to illustrate the results.
Fichier non déposé

Dates et versions

inria-00099345 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099345 , version 1

Citer

Ousmane Koné, Richard Castanet. Test generation for interworking systems. Computer Communications, 2000, 23 (7), pp.642-652. ⟨inria-00099345⟩

Collections

CNRS
31 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More