Advertisement

Multiple Ways to Fail: Generalizing a Monitor’s Verdict for the Classification of Execution Traces

  • Simon Varvaressos
  • Kim Lavoie
  • Sébastien Gaboury
  • Sylvain Hallé
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8734)

Abstract

This paper introduces a new approach at classifying event traces, generalizing a monitor’s classical two- or three-valued outcome. Given the specification of a system’s behaviour expressed as a Linear Temporal Logic formula, we produce from the evaluation of the formula on a given trace a data structure called a trace hologram. When interpreted as equivalence classes, we show how manipulations on these holograms cluster event traces into various natural categories, depending on the precise way in which each group of traces violate the specification.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Carstensen, P.H., Sørensen, C., Tuikkar, T.: Let’s talk about bugs!! Scandinavian Journal of Information Systems 7(6) (1995)Google Scholar
  2. 2.
    Hallé, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Trans. Services Computing 5(2), 192–206 (2012)CrossRefGoogle Scholar
  3. 3.
    Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Program. 78(5), 293–303 (2009)CrossRefzbMATHGoogle Scholar
  4. 4.
    Wiszniewski, H.K.B., Mork, H.: Classification of software defects in parallel programs. Technical Report 2, Faculty of Electronics, Technical University of Gdansk, Poland (1994)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Simon Varvaressos
    • 1
  • Kim Lavoie
    • 1
  • Sébastien Gaboury
    • 1
  • Sylvain Hallé
    • 1
  1. 1.Laboratoire d’informatique formelle, Département d’informatique et de mathématiqueUniversité du Québec à ChicoutimiCanada

Personalised recommendations