Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations - Archive ouverte HAL
Communication Dans Un Congrès Année : 2008

Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations

Résumé

Robustness testing has as main objective to determine how a system behaves in the presence of unexpected inputs or stressful environmental conditions. An approach commonly used for that purpose is fault injection, in which faults are deliberately injected into a system to observe its behavior. One main limitation of this approach is results evaluation: a system is considered as robust if it does not crash or hang during testing. This is not enough because a system can still continue to execute, but present a wrong behavior. To overcome this limitation, we propose a passive approach for robustness testing, in which the system under test is instrumented for fault injection during runtime, as well as for monitoring its behavior. At the end, the readouts collected are analyzed to determine whether the observed behavior under faults is consistent with properties based on a finite state model of the system. We illustrate the approach using an implementation of the wireless application protocol (WAP). The approach was implemented using off-the-shelf tools; results obtained thus far are presented
Fichier non déposé

Dates et versions

hal-01326406 , version 1 (03-06-2016)

Identifiants

Citer

Ana Rosa Cavalli, Eliane Martins, Anderson Morais. Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations. ICSTW 2008 : 1st International Conference on Software Testing Verification and Validation Workshop, Apr 2008, Lillehammer, Norway. pp.21 - 30, ⟨10.1109/ICSTW.2008.51⟩. ⟨hal-01326406⟩
160 Consultations
0 Téléchargements

Altmetric

Partager

More