Automated robustness testing for reactive systems: application to communicating protocols

Zusammenfassung
In the telecommunications field, protocols have to be seriously validated before their startup. Thus, it is necessary to test the conformance of a protocol, but it is also important to test its robustness in presence of unexpected events. This paper proposes a framework to test the robustness of a system. Firstly, we explain how to increase the nominal specification in order to take into account the hazards. Then, we show how to generate test sequences from the increased specification. Finally, we propose a case study on the SSL protocol, using the TGSE tool.
  • Vollständige Referenz
  • BibTeX
Khorchef, F. S., Berrada, I., Rollet, A. & Castanet, R., (2010). Automated robustness testing for reactive systems: application to communicating protocols. In: Eichler, G., Kropf, P., Lechner, U., Meesad, P. & Unger, H. (Hrsg.), 10th International Conferenceon Innovative Internet Community Systems (I2CS) – Jubilee Edition 2010 –. Bonn: Gesellschaft für Informatik e.V.. (S. 409-421).
@inproceedings{mci/Khorchef2010,
author = {Khorchef, Fares Saad AND Berrada, Ismail AND Rollet, Antoine AND Castanet, Richard},
title = {Automated robustness testing for reactive systems: application to communicating protocols},
booktitle = {10th International Conferenceon Innovative Internet Community Systems (I2CS) – Jubilee Edition 2010 –},
year = {2010},
editor = {Eichler, Gerald AND Kropf, Peter AND Lechner, Ulrike AND Meesad, Phayung AND Unger, Herwig} ,
pages = { 409-421 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
409.pdf318.8Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-259-8
ISSN: 1617-5468
Datum: 2010
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige