Model-Based Testing

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment

Structural approaches to Software Product Lines (SPL) testing (such as pairwise testing) have gained momentum as they are able to scale to larger SPLs described as feature diagrams …

xdevroey

Towards Statistical Prioritization for Software Product Lines Testing

Software Product Lines (SPL) are inherently difficult to test due to the combinatorial explosion of the number of products to consider. To reduce the number of products to test, …

xdevroey

Coverage Criteria for Behavioural Testing of Software Product Lines

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 …

xdevroey

Abstract Test Case Generation for Behavioural Testing of Software Product Lines

In Model Based Testing (MBT), test cases are generated automatically from a partial representation of expected behaviour of the System Under Test (SUT) (i.e., the model). For most …

xdevroey

A Vision for Behavioural Model-Driven Validation of Software Product Lines

The Software Product Lines (SPLs) paradigm promises faster development cycles and increased quality by systematically reusing software assets. This paradigm considers a family of …

xdevroey