An automated passive testing approach of real-time systems: Application to Web Services

Dung Cao (1) , Richard Castanet (1) , Patrick Félix (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

This paper proposes a new passive testing approach that verifies a timed trace with respect to a set of constraints. Our proposed approach can also be used as a runtime verification technique because it verifies message-by-message without storing them. To do this, firstly we proposed a formal syntax to define the constraints. In these constraints, the following problems are considered: time constraints (including past and future time), condition on message content, data correlation and combination of conditions by the operations AND, OR, NOT. Then, we proposed an algorithm to verify a timed trace with respect to a set of constraints. 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 is fully implemented in the tool. Finally, we applied our tool to test a real-life case study of web service composition: Product Retriever.

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

Domaines: Modélisation et simulation

Dung Cao, Richard Castanet, Patrick Félix. An automated passive testing approach of real-time systems: Application to Web Services. IEEE Asia-Pacific Services Computing Conference APSCC 2011, Dec 2011, Jeju, South Korea. pp.78-85. ⟨hal-00997954⟩