A Decade of Featured Transition Systems
(2019) From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occas — Location: Porto
Files
SG65_paper_20.pdf
Open Access - Adobe PDF
- 396.2 KB
Details
- Authors
Cordy, Maxime 
Devroey, Xavier Perrouin, Gilles
- Abstract
- Variability-intensive systems (VIS) form a large and heterogeneous class of systems which behaviour can be modified by enabling or disabling predefined features. Variability mechanisms allows the adaptation of software to the needs of their users and the environment. However, VIS verification and validation (V&V) is challenging: the combinatorial explosion of the number of possible behaviours and undesired feature interactions are amongst such challenges. To tackle them, Featured Transitions Systems (FTS) were proposed a decade ago to model and verify the behaviours of VIS. In a FTS, each transition is annotated with a combination of features determining which variants can execute it. An FTS can model all possible behaviours of a given VIS. This compact model enabled us to create efficient V&V algorithms taking advantage of the behaviours shared amongst features resulting in a reduction of the V&V effort by several orders of magnitude. In this chapter, we will cover the formalism, its applications and the role it can play in supporting the quality assurance of the next generation of VIS powered by artificial intelligence techniques.
- Affiliations
Citations
Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P.-Y., & Raskin, J.-F. (2019). A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back : Lecture Notes in Computer Science, p. 285-312. https://doi.org/10.1007/978-3-030-30985-5_18