University of Leicester
Browse
journal_v06.pdf (1.33 MB)

Extending HSI test generation method for software product lines

Download (1.33 MB)
journal contribution
posted on 2019-04-29, 11:52 authored by Vanderson Hafemann Fragal, Adenilso Simao, Mohammad Reza Mousavi, Uraz Cengiz Turker
Featured Finite State Machines (FFSMs) were proposed as a modeling formalism that represents the abstract behavior of an entire software product line (SPL). Several model-based testing techniques have been developed to support test case generation for SPL specifications, but none support the full fault coverage criterion for SPLs at the family-wide level. In this paper, we propose an extension of the Harmonized State Identifiers (HSI) method, an FSM-based testing method supporting full fault coverage. By extending the HSI method for FFSMs, we are able to generate a single configurable test suite for groups of SPL products that can be instantiated using feature constraints. We implement a graphical tool named ConFTGen to guide the design, validation, derivation and test case generation for state, transition and full fault coverage of FFSMs. Experimental results indicate a reduction of approximately 50% on the number of test cases required to test 20 random SPL products. Also, we investigate the applicability of our method by applying it to a case study from the automotive domain, namely the Body Comfort System.

Funding

This research was partially supported by the Science Without Borders project number 201694/2015-8, the Swedish Research Council award number: 621-2014-5057 and the Swedish Knowledge Foundation project number 20140312.

History

Citation

Computer Journal, 2019, 62 (1), pp. 109-129

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informatics

Version

  • AM (Accepted Manuscript)

Published in

Computer Journal

Publisher

Oxford University Press (OUP), BCS, The Chartered Institute for IT

issn

0010-4620

eissn

1460-2067

Acceptance date

2018-04-14

Copyright date

2018

Publisher version

https://academic.oup.com/comjnl/article/62/1/109/4993054

Notes

The file associated with this record is under embargo until 24 months after publication, in accordance with the publisher's self-archiving policy. The full text may be available through the publisher links provided above.

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC