Projects per year
Since the inception of Software Product Line (SPL) engi- neering, concerns about testing SPLs emerged. The large number of possible products that may be derived from a SPL induces an even larger set of test-cases, which make SPL testing a very challenging activity. Some individual solutions have been proposed, but few are integrated in a complete testing process. In this paper, we summarize our research addressing variability-aware behavioural model-based testing. So far we developed a statistical prioritization technique and we have defined behavioural coverage criteria dedicated to behavioural model of a SPL. Our overall goal is to form an end-to-end model-driven approach, relying on Featured Transition System (FTS), a compact formalism to represent the behaviour of a SPL, where test-cases selection techniques are automated and made practical to the engineers. The formality of the envisioned models also makes them amenable to model-checking, yielding innovative combinations of quality assurance activities. The evaluation will be performed in two phases: using standard approaches (fault seeding and mutation testing); using the approach on an industrial case-study.
|Title of host publication||Proceedings of the 18th International Software Product Line Conference - Volume 1|
|Publication status||Published - 16 Sep 2014|
|Event||18th International Software Product Lines Conference (SPLC'14) - Florence, Italy|
Duration: 16 Sep 2014 → 19 Sep 2014
|Conference||18th International Software Product Lines Conference (SPLC'14)|
|Period||16/09/14 → 19/09/14|
- Software Product Line
- Software Testing
- Model-Based Testing
- Featured Transition System
FingerprintDive into the research topics of 'Behavioural Model Based Testing of Software Product Lines: Research Abstract'. Together they form a unique fingerprint.
- 1 Participation in conference