Volume 7 Number 6 (Jun. 2012)
Home > Archive > 2012 > Volume 7 Number 6 (Jun. 2012) >
JSW 2012 Vol.7(6): 1338-1350 ISSN: 1796-217X
doi: 10.4304/jsw.7.6.1338-1350

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

Tien-Dung Cao1, Richard Castanet2, Patrick Felix2, and Kevin Chiew1

1School of Engineering, Tan Tao University Duc Hoa District, Long An Province, Vietnam.
2LaBRI - CNRS - UMR 5800, University of Bordeaux 351 cours de la lib´eration, 33405 Talence cedex, France
Abstract—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.

Index Terms—Runtime verification, Passive testing, Rule specification, Web services.

[PDF]

Cite: Tien-Dung Cao, Richard Castanet, Patrick Felix, and Kevin Chiew, "An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services," Journal of Software vol. 7, no. 6, pp. 1338-1350, 2012.

PREVIOUS PAPER
Framework and Implementation of the Virtual Item Bank System
NEXT PAPER
Algorithm of diffraction for standing tree based on the uniform geometrical theory of diffraction

General Information

  • ISSN: 1796-217X (Online)

  • Abbreviated Title: J. Softw.

  • Frequency:  Biannually

  • APC: 500USD

  • DOI: 10.17706/JSW

  • Editor-in-Chief: Prof. Antanas Verikas

  • Executive Editor: Ms. Cecilia Xie

  • Abstracting/ Indexing: DBLP, EBSCO,
           CNKI, Google Scholar, ProQuest,
           INSPEC(IET), ULRICH's Periodicals
           Directory, WorldCat, etc

  • E-mail: jsweditorialoffice@gmail.com

What's New

  • Mar 07, 2025 News!

    Vol 19, No 4 has been published with online version   [Click]

  • Mar 07, 2025 News!

    JSW had implemented online submission system   [Click]

  • Apr 01, 2024 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec) 　   [Click]

  • Apr 01, 2024 News!

    Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP   [Click]

  • Oct 22, 2024 News!

    Vol 19, No 3 has been published with online version   [Click]