 |
|
|
|
| HAL : hal-00408368, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| Studia Informatica Universalis 3, 2 (2004) 141-168 |
|
|
|
|
| From the feasibility analysis to real-time test generation |
|
|
| Ismail Berrada 1Richard Castanet 2 |
|
|
| (05/03/2004) |
|
|
|
| Testing real-time systems is an important and not obvious step in the validation process of critical systems. This paper proposes an efficient o((n*k)^2) algorithm for solving the feasibility problem corresponding to a path of length n in a timed automaton, with k clocks. The given solution, combined with synchronous product, allows in particular, generating both the fastest and the slowest timed test cases for a given test purpose. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire Informatique, Image et Interaction (L3I) |
|
|
|
Université de La Rochelle : EA2118 |
|
|
| 2 : | Laboratoire Bordelais de Recherche en Informatique (LaBRI) |
|
|
|
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB) – Université Victor Segalen - Bordeaux II |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Calcul formel |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00408368, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00408368 | |
| oai:hal.archives-ouvertes.fr:hal-00408368 | |
| Contributeur : Patrick Felix | |
| Soumis le : Jeudi 30 Juillet 2009, 16:11:46 | |
| Dernière modification le : Jeudi 30 Juillet 2009, 16:14:53 | |
