Testing Component-Based Real Time Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Testing Component-Based Real Time Systems

Résumé

This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framework that does not require the computation of the synchronous product (composition) of components, and therefore avoids a major bottleneck in this class of test. For this framework, we introduce an approach and associated algorithm. In our approach, the overall behavior of the system is obtained by restricting free runs of components to those involving interactions between them. This restriction is achieved through the use of a particular component called assembly controller. For the generation algorithm, compositional test cases are derived from the assembly controller model using symbolic analysis. This reduces the state space size (a practical size) and enables the generation of sequences which cover all critical interaction scenarios.
Fichier principal
Vignette du fichier
latex8.pdf (125.59 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00447143 , version 1 (25-01-2010)

Identifiants

Citer

Rachid Bouaziz, Ismail Berrada. Testing Component-Based Real Time Systems. SNPD '08: Proceedings of the 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, Aug 2008, Phuket, Thailand. pp.888--894, ⟨10.1109/SNPD.2008.105⟩. ⟨hal-00447143⟩
154 Consultations
213 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More