Logo des Repositoriums
 
Konferenzbeitrag

Automated robustness testing for reactive systems: application to communicating protocols

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2010

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

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.

Beschreibung

Khorchef, Fares Saad; Berrada, Ismail; Rollet, Antoine; Castanet, Richard (2010): Automated robustness testing for reactive systems: application to communicating protocols. 10th International Conferenceon Innovative Internet Community Systems (I2CS) – Jubilee Edition 2010 –. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-259-8. pp. 409-421. Regular Research Papers. Bangkok, Thailand. June 3-5, 2010

Schlagwörter

Zitierform

DOI

Tags