An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services

Dung Cao (1) , Richard Castanet (1) , Patrick Felix (1) , Kevin Chiew (2)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique
2 TTU - Tan Tao University

Software testing plays an important role in verifying and assessing the quality of a software application. There are various testing approaches proposed for different application scenarios. In this paper, we propose a new passive testing approach to verifying a timed trace with respect to a set of constraints. With the extension of Nomad language, we are able to formally describe all constraints and combine conditions by logical operations AND and OR into expressions. By well organizing and evaluating the expressions, we are able to carry out runtime verification message by message in a timed trace. In addition to the theoretical framework, we have also developed a software tool known as RV4WS (Runtime Verification for Web Services) for the automation of our testing approach, and implemented all algorithms in the paper with this tool. We conduct a case study of web service composition to verify the effectiveness of our approach and tool.

Mots clés: Web services; Runtime verification; Passive testing; Rule specification; Web services.

Domaines: Modélisation et simulation

Dung Cao, Richard Castanet, Patrick Felix, Kevin Chiew. An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services. JOURNAL OF SOFTWARE,, 2012, 7 (6), pp.1338-1350. ⟨10.4304/jsw.7.6.1338-1350⟩. ⟨hal-00997948⟩