Spinal Test Suites for Software Product Lines

Beohar, Harsh; Mousavi, Mohammad Reza

doi:10.4204/eptcs.141.4

Cited by 9 publications

(6 citation statements)

References 23 publications

(40 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Next, we define a model derivation operator, reminiscent of the operator in [22,23], that is parameterized by feature constraints. Given a feature constraint, the product derivation operator reduces an FFSM into an FSM representing a selection of products.…”

Section: Model Derivationmentioning

confidence: 99%

Hierarchical featured state machines

Fragal

Simão

Mousavi

2019

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

Variants of the Finite State Machine (FSM) model have been extensively used to describe the behavior of reactive systems. In particular, several model-based testing techniques have been developed to support test case generation from FSMs and test case execution. Most of such techniques require several validation properties to hold for the underlying test models. Featured Finite State Machine (FFSM) is an extension of the FSM model proposed in our earlier publication that represents the abstract behavior of an entire Software Product Line (SPL). By validating an FFSM, we validate all valid products configurations of the SPL looking forward configurable test suites. However, modeling a large SPL using flat FFSMs may lead to a huge and hard-to-maintain specification. In this paper, we propose an extension of the FFSM model, named Hierarchical Featured State Machine (HFSM). Inspired by Statecharts and UML state machines, we introduce the HFSM model to improve model readability by grouping up FFSM conditional states and transitions into abstracted entities. Our ultimate goal is to use HFSMs as test models. To this end, we first define some syntactic and semantical validation criteria for HFSMs as prerequisites for using them as test models. Moreover, we implement an adapted graphical Eclipse-based editor from the Yakindu Project for modeling, derivation, and checking feature-oriented properties using Satisfiability Modulo Theory (SMT) solver tools. We investigate the applicability of our approach by applying it to an HFSM for a realistic case study (the Body Comfort System). The results indicate that HFSMs can be used to compactly represent and efficiently validate the behavior of parallel components in SPLs.

show abstract

Section: Model Derivationmentioning

confidence: 99%

Hierarchical featured state machines

Fragal

Simão

Mousavi

2019

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…To our knowledge, however, there only a few pieces of research that extend test models, test case generation and test case execution to the family-based level; examples of such work include earlier delta-oriented techniques such as [24,23,34] and featureoriented approaches [4,5,14]. However, the approach proposed in [4,6] exploits a non-deterministic test case generation algorithm (with no fault model or finite test suite) and hence, validation of test models is not an issue in their approach. Thus, we are not aware of any prior study one extending the FSM-based test-model validation techniques to the family-based setting.…”

Section: Related Workmentioning

confidence: 99%

“…We define a product derivation operator, reminiscent of the operator in [4,6], that is parameterised by feature constraints. Given a feature constraint, the product derivation operator reduces an FFSM into an FSM representing the selection of products.…”

Section: Product Derivationmentioning

confidence: 99%

See 1 more Smart Citation

Validated Test Models for Software Product Lines: Featured Finite State Machines

Fragal

Simão

Mousavi

2017

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Variants of the finite state machine (FSM) model have been extensively used to describe the behaviour of reactive systems. In particular, several model-based testing techniques have been developed to support test case generation and test case executions from FSMs. Most such techniques require several validation properties to hold for the underlying test models. In this paper, we propose an extension of the FSM test model for software product lines (SPLs), named featured finite state machine (FFSM). As the first step towards using FFSMs as test models, we define feature-oriented variants of basic test model validation criteria. We show how the high-level validation properties coincide with the necessary properties on the product FSMs. Moreover, we provide a mechanised tool prototype for checking the feature-oriented properties using satisfiability modulo theory (SMT) solver tools. We investigate the applicability of our approach by applying it to both randomly generated FFSMs as well as those from a realistic case study (the Body Comfort System). The results of our study show that for random FFSMs over 16 independent non-mandatory features, our technique provides substantial efficiency gains for the set of proposed validity checks.

show abstract

“…In [3], Beohar et al propose to adapt the ioco framework proposed by Tretmans [28] to FTSs. Contrary to this approach, we do not seek exhaustive testing of an implementation but rather to select relevant abstract test cases based on the criteria provided by the test engineer.…”

Section: Related Workmentioning

confidence: 99%

Coverage Criteria for Behavioural Testing of Software Product Lines

Devroey

Perrouin

Legay

et al. 2014

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

View full text Add to dashboard Cite

Abstract. Featured Transition Systems (FTS) is a mathematical structure to represent the behaviour of software product line in a concise way. The combination of the well-known transition systems approach to formal behavioural modelling with feature expressions was pivotal to the design of efficient verification approaches. Such approaches indeed avoid to consider products' behaviour independently, leading to often exponential savings. Building on this successful structure, we lay the foundations of model-based testing approach to SPLs. We define several FTS-aware coverage criteria and report on our experience combining FTS with usage-based testing for configurable websites.

show abstract

Spinal Test Suites for Software Product Lines

Cited by 9 publications

References 23 publications

Hierarchical featured state machines

Hierarchical featured state machines

Validated Test Models for Software Product Lines: Featured Finite State Machines

Coverage Criteria for Behavioural Testing of Software Product Lines

Contact Info

Product

Resources

About