Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints

Résumé

The complexity and the variety of the deployed time dependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to the design of the best possible tests. Moreover,it is significant to automate these steps with an aim of reducing the time and the development cost and especially of increasing the reliability of the offered products. In this paper, we present two different tools to test systems with time constraints. The first one allows to automatically generate test cases based on model-based active testing techniques. Whereas the second tool is based on passive testing approach to check that the collected system traces respect a set of formal properties called Invariants.
Fichier non déposé

Dates et versions

hal-00865998 , version 1 (25-09-2013)

Identifiants

Citer

Cavalli Rosa Ana, de Oca Edgardo Montes, Mallouli Wissam, Mounir Lallali. Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. The 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications (DS-RT'08), Oct 2008, Vancouver, Canada. pp.315 - 318, ⟨10.1109/DS-RT.2008.43⟩. ⟨hal-00865998⟩
53 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More