Trace reduction and pattern analysis to assist debugging in model-based testing

Teemu Kanstrén, Marsha Chechik

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

    1 Citation (Scopus)

    Abstract

    Model-based testing (MBT) is a technique for generating test cases from test models. One of the benefits of MBT is the ability to have a computer generate and execute extensive test sets from the test models, achieving high coverage. However, when such large test sets are automatically generated and executed, the resulting failure traces can be very large and difficult to debug for root cause analysis. In this paper, we present a technique for minimizing the length of a failure trace, creating variants of it, and for pattern mining the trace variants to assist in root cause analysis. We demonstrate the technique on a model of a GSM SIM card.
    Original languageEnglish
    Title of host publicationProceedings
    Subtitle of host publicationIEEE International Symposium on Software Reliability Engineering Workshops
    PublisherIEEE Institute of Electrical and Electronic Engineers
    Pages238-243
    ISBN (Electronic)978-1-4799-7377-4
    DOIs
    Publication statusPublished - 2014
    MoE publication typeA4 Article in a conference publication
    EventIEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 - Naples, Italy
    Duration: 3 Nov 20146 Nov 2014

    Conference

    ConferenceIEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
    Abbreviated titleISSREW 2014
    Country/TerritoryItaly
    CityNaples
    Period3/11/146/11/14

    Keywords

    • algorithm design and analysis
    • analytical models
    • debugging
    • generators
    • pattern analysis
    • radiation detectors
    • testing

    Fingerprint

    Dive into the research topics of 'Trace reduction and pattern analysis to assist debugging in model-based testing'. Together they form a unique fingerprint.

    Cite this