Automated Runtime Verification for Web Services

Tien-Dung Cao (1) , Trung-Tien Phan-Quang (1) , Patrick Félix (1) , Richard Castanet (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

This paper presents a methodology to perform passive testing of behavioural conformance for the web services based on the security rule. The proposed methodology can be used either to check a trace (offline checking) or to runtime verification (online checking) with timing constraints, including future and past time. In order to perform this: firstly, we use the Nomad language to define the security rules. Secondly, we propose an algorithm that can check simultaneously multi instances. After that, with each security rule, we propose a graphical statistics, with some fixed properties, that helps to tester easy assess about the service. In addition to the theoretical framework we have developed a software tool, called RV4WS (Runtime Verification engine for Web Service), that helps in the automation of our passive testing approach. In particular, the algorithm presented in this paper are fully implemented in the tool.We also present a mechanism to collect the observable trace in this paper.

Mots clés: Web Services; Runtime verification; Passive testing; Rule specification; Nomad language.; Nomad language

Domaines: Modélisation et simulation

Tien-Dung Cao, Trung-Tien Phan-Quang, Patrick Félix, Richard Castanet. Automated Runtime Verification for Web Services. IEEE international Conference on Web Services, Jul 2010, Miami, United States. pp.76-82. ⟨hal-01005182⟩