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

    Exports