From the feasibility analysis to real-time test generationReport as inadecuate

From the feasibility analysis to real-time test generation - Download this document for free, or read online. Document in PDF available to download.

1 L3I - Laboratoire Informatique, Image et Interaction 2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Abstract : Testing real-time systems is an important and not obvious step in the validation process of critical systems. This paper proposes an efficient on*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.

Author: Ismail Berrada - Richard Castanet - Patrick Felix -



Related documents