Traceability analyses between features and assets in software product lines

Ganesh Khandu Narwane 1 José Angel Galindo Duarte 2 Shankara Narayanan Krishna 1 David Benavides 3 Jean-Vivien Millo 4 S Ramesh 5
2 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3 ISA - Automated analysis on feature models repository [Sevilla]
Departamento de Lenguajes y Sistemas Informáticos
4 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
Inria de Paris, CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : In a Software Product Line (SPL), the central notion of implementability provides the requisite connection between specifications and their implementations, leading to the definition of products. While it appears to be a simple extension of the traceability relation between components and features, it involves several subtle issues that were overlooked in the existing literature. In this paper, we have introduced a precise and formal definition of implementability over a fairly expressive traceability relation. The consequent definition of products in the given SPL naturally entails a set of useful analysis problems that are either refinements of known problems or are completely novel. We also propose a new approach to solve these analysis problems by encoding them as Quantified Boolean Formulae (QBF) and solving them through Quantified Satisfiability (QSAT) solvers. QBF can represent more complex analysis operations, which cannot be represented by using propositional formulae. The methodology scales much better than the SAT-based solutions hinted in the literature and were demonstrated through a tool called SPLAnE (SPL Analysis Engine) on a large set of SPL models.
Type de document :
Article dans une revue
Entropy, MDPI, 2016, 18 (8), pp.269. 〈10.3390/e18080269〉
Liste complète des métadonnées

Littérature citée [36 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01342351
Contributeur : José Angel Galindo Duarte <>
Soumis le : mardi 5 juillet 2016 - 18:33:55
Dernière modification le : vendredi 16 novembre 2018 - 01:40:43
Document(s) archivé(s) le : jeudi 6 octobre 2016 - 13:53:26

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Ganesh Khandu Narwane, José Angel Galindo Duarte, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, et al.. Traceability analyses between features and assets in software product lines. Entropy, MDPI, 2016, 18 (8), pp.269. 〈10.3390/e18080269〉. 〈hal-01342351〉

Partager

Métriques

Consultations de la notice

586

Téléchargements de fichiers

124