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

@article{Cavalli2008UseOI,
  title={Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations},
  author={Ana R. Cavalli and Eliane Martins and Anderson Nunes Paiva Morais},
  journal={2008 IEEE International Conference on Software Testing Verification and Validation Workshop},
  year={2008},
  pages={21-30}
}
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… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 11 extracted citations

Golden-run alignment for analysis of robustness testing results: dealing with diagnostics issues

2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) • 2013

RFSM-Fuzzing a Smart Fuzzing Algorithm Based on Regression FSM

2013 Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing • 2013
View 1 Excerpt

Specification-guided Golden Run for Analysis of Robustness Testing Results

2012 IEEE Sixth International Conference on Software Security and Reliability • 2012

Security Protocol Testing Using Attack Trees

2009 International Conference on Computational Science and Engineering • 2009
View 2 Excerpts

Similar Papers

Loading similar papers…