Probabilistic software product lines

被引：2
|
作者：
Camacho, Carlos [1 ]
Llana, Luis [1 ]
Nunez, Alberto [1 ]
Bravetti, Mario [2 ]
机构：
[1] Univ Complutense Madrid, Dept Sistemas Informat & Computac, Madrid, Spain
[2] Univ Bologna, Dipartimento Informat Sci & Ingn, Bologna, Italy
来源：
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 2019年 / 107卷
关键词：
Software product lines; Probabilistic models; Formal methods; Feature models; UNDECIDABILITY;
D O I：
10.1016/j.jlamp.2019.05.007
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We introduce a probabilistic extension of our previous work SPLA: a formal framework to specify and analyze software product lines. We use probabilistic information to identify those features that are more frequently used. This is done by computing the probability of having a feature in a specific software product line, from now on SPLA(P). We redefine the syntax of SPLA to include probabilistic operators and define new operational and denotational semantics. We prove that the expected equivalence between these two semantic frameworks holds. Our probabilistic framework is supported by a set of scripts to show the model behavior. We briefly comment on the characteristics of the scripts and discuss the advantages of using probabilities to quantify the likelihood of having features in potential software product lines. (C) 2019 Elsevier Inc. All rights reserved.
引用
收藏
页码：54 / 78
页数：25
相关论文
共 50 条
  • [1] Modeling and Verification for Probabilistic Properties in Software Product Lines
    Rodrigues, Genaina N.
    Alves, Vander
    Nunes, Vinicius
    Lanna, Andre
    Cordy, Maxime
    Schobbens, Pierre-Yves
    Sharifloo, Amir Molzam
    Legay, Axel
    [J]. 2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2015, : 173 - 180
  • [2] Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking
    ter Beek, Maurice H.
    Legay, Axel
    Lafuente, Alberto Lluch
    Vandin, Andrea
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (182): : 56 - 70
  • [3] Software product lines
    Bosch, J
    [J]. TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - TOOLS 33, PROCEEDINGS, 2000, : 467 - 467
  • [4] Discrete Time Markov Chain Families: Modeling and Verification of Probabilistic Software Product Lines
    Varshosaz, Mahsa
    Khosravi, Ramtin
    [J]. PROCEEDINGS OF THE 17TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE CO-LOCATED WORKSHOPS (SPLC'13 WORKSHOPS), 2013, : 34 - 41
  • [5] Dynamic software product lines
    Hallsteinsen, Svein
    Hinchey, Mike
    Park, Sooyong
    Schmid, Klaus
    [J]. COMPUTER, 2008, 41 (04) : 93 - 95
  • [6] Testing Software Product Lines
    da Mota Silveira Neto, Paulo Anselmo
    Runeson, Per
    Machado, Ivan do Carmo
    de Almeida, Eduardo Santana
    de Lemos Meira, Silvio Romero
    Engstrom, Emelie
    [J]. IEEE SOFTWARE, 2011, 28 (05) : 16 - 20
  • [7] Granularity in Software Product Lines
    Kaestner, Christian
    Apel, Sven
    Kuhlemann, Martin
    [J]. ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 311 - 320
  • [8] Introduction to Software Product Lines
    Northrop, Linda M.
    [J]. SOFTWARE PRODUCT LINES: GOING BEYOND, 2010, 6287 : 521 - 522
  • [9] An introduction to software product lines
    Northrop, LM
    Clements, PC
    [J]. SOFTWARE PRODUCT LINES, PROCEEDINGS, 2004, 3154 : 322 - 322
  • [10] Economics of software product lines
    Peterson, DR
    [J]. SOFTWARE PRODUCT-FAMILY ENGINEERING, 2004, 3014 : 381 - 402
12345