Testability Analysis for Graphically Described Algorithms of Reactive Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Testability Analysis for Graphically Described Algorithms of Reactive Systems

Michel Delaunay
  • Fonction : Auteur
  • PersonId : 848391
Jean-Sébastien Cruz
  • Fonction : Auteur

Résumé

Reactive Real-Time Systems require very high level of confidence. The validation, which ensures the confidence of these systems, is often difficult and expensive. A testability analysis at the design phase of a system can identify parts that are difficult for system testing. Such an analysis helps the designer to improve the design, reduces the cost of the validation, and increases the confidence of the system. During the development of Reactive Real-Time systems, graphic environments are often used to design systems. Our approach allows analyzing automatically the testability of systems from their graphical descriptions.
Fichier non déposé

Dates et versions

hal-00271960 , version 1 (10-04-2008)

Identifiants

  • HAL Id : hal-00271960 , version 1

Citer

Huy Vu Do, Michel Delaunay, Chantal Robach, Jean-Sébastien Cruz. Testability Analysis for Graphically Described Algorithms of Reactive Systems. The 3rd European Congress: Embedded Real-Time Software, Jan 2006, Toulouse, France. pp.R-2006-01-7B1. ⟨hal-00271960⟩

Collections

UGA LCIS
31 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More