TEAR: a multi-purpose formal language specification for TEsting At Runtime - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

TEAR: a multi-purpose formal language specification for TEsting At Runtime

Résumé

Collaborative systems are growing in use and in popularity. The need to boost the methods concerning the interoperability is growing as well; therefore, trustworthy interactions of the different systems are a priority. We have proposed a formal distributed network monitoring approach to analyze the packets exchanged by the entities, in order to prove a system is acting in a trustworthy manner. Using this approach, some limitations regarding the testers resources have been found. In this paper, we identify the constraints and propose and new language suited for testing at runtime in different environments
Fichier non déposé

Dates et versions

hal-01255090 , version 1 (13-01-2016)

Identifiants

Citer

Jorge Eleazar Lopez Coronado, Stephane Maag, Gerardo Morales. TEAR: a multi-purpose formal language specification for TEsting At Runtime. ARES 2015 : 10th International Conference on Availability, Reliability and Security, Aug 2015, Toulouse, France. pp.727 - 734 ⟨10.1109/ARES.2015.90⟩. ⟨hal-01255090⟩
20 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More