Automated robustness testing for reactive systems: application to communicating protocols
| dc.contributor.author | Khorchef, Fares Saad | |
| dc.contributor.author | Berrada, Ismail | |
| dc.contributor.author | Rollet, Antoine | |
| dc.contributor.author | Castanet, Richard | |
| dc.contributor.editor | Eichler, Gerald | |
| dc.contributor.editor | Kropf, Peter | |
| dc.contributor.editor | Lechner, Ulrike | |
| dc.contributor.editor | Meesad, Phayung | |
| dc.contributor.editor | Unger, Herwig | |
| dc.date.accessioned | 2019-01-11T09:33:39Z | |
| dc.date.available | 2019-01-11T09:33:39Z | |
| dc.date.issued | 2010 | |
| dc.description.abstract | 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. | en |
| dc.identifier.isbn | 978-3-88579-259-8 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/19036 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | 10th International Conferenceon Innovative Internet Community Systems (I2CS) – Jubilee Edition 2010 – | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-165 | |
| dc.title | Automated robustness testing for reactive systems: application to communicating protocols | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 421 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 409 | |
| gi.conference.date | June 3-5, 2010 | |
| gi.conference.location | Bangkok, Thailand | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1