Logo des Repositoriums

Auflistung nach Autor:in "Castanet, Richard"

1 - 1 von 1
  • Konferenzbeitrag
    Automated robustness testing for reactive systems: application to communicating protocols
    (10th International Conferenceon Innovative Internet Community Systems (I2CS) – Jubilee Edition 2010 –, 2010) Khorchef, Fares Saad; Berrada, Ismail; Rollet, Antoine; Castanet, Richard
    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.