An active testing tool for security testing of distributed systems

Mohamed Aouadi (1, 2, 3) , Khalifa Toumi (4, 2, 3) , Ana Rosa Cavalli (1, 2, 3)

1 TSP - RS2M - Département Réseaux et Services Multimédia Mobiles
2 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
3 CNRS - Centre National de la Recherche Scientifique
4 TSP - RST - Département Réseaux et Services de Télécommunications

This paper describes the TestGen-IF tool, that allows the automatic generation of test cases based on model based active testing techniques. This paper describes the overall functionality and architecture of the tool, discusses its strengths and weaknesses, and reports our experience with using the tool on a case study, the Dynamic Route Planning (DRP) service of Vehicular Networks. This case study demonstrates how to use our testing tool to verify the system implementation against its security requirements. This paper also proposes improvements to this tool in the form of a GUI interface to facilitate its use and an approach which permits a gain in time and efficiency by generating test objectives

Mots clés: Active testing; DRP; Model-based testing; Security; Test Gen-IF; Tool

Domaines: Cryptographie et sécurité [cs.CR]

Mohamed Aouadi, Khalifa Toumi, Ana Rosa Cavalli. An active testing tool for security testing of distributed systems. ARES 2015 : 10th International Conference on Availability, Reliability and Security, Aug 2015, Toulouse, France. pp.735 - 740, ⟨10.1109/ARES.2015.97⟩. ⟨hal-01263726⟩