Logo des Repositoriums

P165 - I2CS: 10th International Conference on Innovative Internet Community Systems - Jubilee Edition 2010 -

https://dl.gi.de/handle/20.500.12116/19003
Auflistung nach:

Auflistung P165 - I2CS: 10th International Conference on Innovative Internet Community Systems - Jubilee Edition 2010 - nach Autor:in "Berrada, Ismail"

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.