Auflistung nach Autor:in "Rollet, Antoine"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragAutomated 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, RichardIn 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.
- KonferenzbeitragAutomatic web service testing from WSDL descriptions(11th International Conference on Innovative Internet Community Systems (I2CS 2011), 2011) Salva, Sébastien; Rollet, AntoineWeb Services fall under the so-called emerging technologies category and are getting more and more used for Internet applications or business transactions. Currently, there is an important need for validation techniques of web service based architectures. Web services, that are currently proposed into UDDI registries, are not always tested. And for most of them, no specification is provided. So, we propose in this paper, a testing method which can generate test cases only from WSDL descriptions. This method is able to check the following aspects: operation existence, exception management, and session management. We express how to generate test cases and we describe a testing framework, composed of a web service tester, which executes test cases and gives the final test verdict.