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.
|titre||Proceedings of the 18th International Software Product Line Conference - Volume 1|
|état||Publié - 16 sept. 2014|
|Evénement||18th International Software Product Lines Conference (SPLC'14) - Florence, Italie|
Durée: 16 sept. 2014 → 19 sept. 2014
|Une conférence||18th International Software Product Lines Conference (SPLC'14)|
|période||16/09/14 → 19/09/14|