Abstract : We suggest a method for measuring the degree to which features interact in feature-oriented software development. To this end, we extend the notion of simulation between transition systems to a similarity measure and lift it to compute a behaviour interaction score in featured transition systems. We then develop an algorithm which can compute the degree of feature interactions in a featured transition system in an efficient manner.
Type de document :
Communication dans un congrès
3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, May 2015, Firenze, Italy. 2015
https://hal.inria.fr/hal-01237655
Contributeur : Uli Fahrenberg
<>
Soumis le : jeudi 3 décembre 2015 - 15:41:38
Dernière modification le : mercredi 11 avril 2018 - 02:01:19
Document(s) archivé(s) le : samedi 29 avril 2017 - 07:05:29
Joanne M. Atlee, Uli Fahrenberg, Axel Legay. Measuring Behaviour Interactions between Product-Line Features. 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, May 2015, Firenze, Italy. 2015. 〈hal-01237655〉
