Guided Algebraic Specification Mining for Failure Simplification

A. Elyasov, I.S.W.B. Prasetya, J. Hage

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review


    Software systems often produce logs that capture information about their execution behaviour. When an error occurs, the log file with the error is reported for subsequent analysis. The longer the log file, the harder to identify the cause of the observed error. This problem can be considerably simplified if we reduce the log length, e.g., by removing events which do not contribute towards finding the error. This paper addresses the problem of log reduction by rewriting the reported log in such a way that it preserves the ability to reproduce the same error. The approach exploits rewrite rules inferred from a set of predefined algebraic rewrite rule patterns, exhibiting such properties as commutativity and identity. The paper presents an algorithm for rewrite rules inference, and a terminating reduction strategy based on these rules. Being log-based the inference algorithm is inherently imprecise. So the inferred rules need to be inspected by a human expert before actually being used for rewriting. The approach is language independent and highly flexible. The paper formally defines all used concepts and discusses a prototype implementation of a log reduction framework. The prototype was empirically validated on a web shop application.
    Original languageEnglish
    Title of host publication25th IFIP WG 6.1 International Conference onTesting Software and Systems (ICTSS 2013)
    Number of pages16
    Publication statusPublished - 2013

    Publication series



    Dive into the research topics of 'Guided Algebraic Specification Mining for Failure Simplification'. Together they form a unique fingerprint.

    Cite this