A formal approach for specification and verification of fault injection process - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès ICIS '09 : International Conference on Interaction Sciences Année : 2009

A formal approach for specification and verification of fault injection process

Résumé

Fault injection is a powerful strategy to test security protocols and fault-tolerant systems. The first step in building a complete fault injection process is the specification of a fault scenario for the test experiment. This includes the specification of the fault injector location and the type and time of injected faults. However, the existing fault description languages are often non-formal and/or tool-specific, which leads to many specification ambiguities. To address this problem, we propose a high level fault injection formalism based on Hoare logic rules. We describe fault injection operations as Hoare triples extended with primitives to express the timing of actions. This allows us to specify various types of faults and thus, makes the proposed formalism suitable for most communication systems, including protocols and distributed applications. This paper also presents a passive testing approach based on the proposed formalism to check fault injection process and outlines a case study on Web services for illustration.

Mots clés

Fichier non déposé

Dates et versions

hal-00771611 , version 1 (09-01-2013)

Identifiants

Citer

Fayçal Bessayah, Ana Rosa Cavalli, Eliane Martins. A formal approach for specification and verification of fault injection process. ICIS '09 : International Conference on Interaction Sciences, Dec 2009, Phoenix, United States. pp.883-890, ⟨10.1145/1655925.1656086⟩. ⟨hal-00771611⟩
43 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More