Extending HSI Test Generation Method for Software Product Lines. (4th May 2018)

• Record Type: Journal Article
• Authors: Fragal, Vanderson Hafemann; Simao, Adenilso; Mousavi, Mohammad Reza; Turker, Uraz Cengiz
• Editors: Santone, Antonella
• Is Part Of: Computer journal. Volume 62:Number 1(2019)
• Page Start: 109
• Page End: 129
• Publication Date: 2018-05-04
• Subjects: formal modeling -- test case generation -- software product line -- featured finite state machine; Computers -- Periodicals; 005.1
• DOI: 10.1093/comjnl/bxy046
• Languages: English
• ISSNs: 0010-4620

Abstract

Abstract: 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.