Behavioural Model Based Testing of Software Product Lines: Research Abstract

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.