Multiple Ways to Fail: Generalizing a Monitor’s Verdict for the Classification of Execution Traces
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.
Unable to display preview. Download preview PDF.
- 1.Carstensen, P.H., Sørensen, C., Tuikkar, T.: Let’s talk about bugs!! Scandinavian Journal of Information Systems 7(6) (1995)Google Scholar
- 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