Automatic Testability Analysis for Data-Flow Designs of Reactive Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Automatic Testability Analysis for Data-Flow Designs of Reactive Systems

Résumé

Reactive real-time systems require a very high level of confidence. The validation of these systems is very important since it ensures the confidence in these systems. Two main activities of the validation are the proof of some parts of the system, and the testing of the system. However, testing of reactive systems is complex and expensive. This is where a testability analysis can help, by appraising the ease with which testing can be undertaken. In this paper, we propose a method to analyze automatically the testability of data-flow designs of reactive real-time systems. This method, which is based on the SATAN technology, allows testability of reactive systems to be measured very soon during specification stage. Thus, weaknesses of the design can be detected, and the system can be improved in terms of testability.
Fichier non déposé

Dates et versions

hal-00275648 , version 1 (24-04-2008)

Identifiants

  • HAL Id : hal-00275648 , version 1

Citer

Huy Vu Do, Chantal Robach, Michel Delaunay, Jean-Sébastien Cruz. Automatic Testability Analysis for Data-Flow Designs of Reactive Systems. The IEEE 1st International Workshop on Testability Assessment, Nov 2004, Rennes, France. page 52-61. ⟨hal-00275648⟩
100 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More