Statistical analysis of probabilistic models of software product lines with quantitative constraints

M.H. ter Beek, A. Legay, Alberto Lluch Lafuente, A. Vandin

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

349 Downloads (Pure)

Abstract

We investigate the suitability of statistical model checking for the analysis of probabilistic models of software product lines with complex quantitative constraints and advanced feature installation options. Such models are specified in the feature-oriented language QFLan, a rich process algebra whose operational behaviour interacts with a store of constraints, neatly separating product configuration from product behaviour. The resulting probabilistic configurations and behaviour converge seamlessly in a semantics based on DTMCs, thus enabling quantitative analyses ranging from the likelihood of certain behaviour to the expected average cost of products. This is supported by a Maude implementation of QFLan, integrated with the SMT solver Z3 and the distributed statistical model checker MultiVeStA. Our approach is illustrated with a bikes product line case study.
Original languageEnglish
Title of host publicationProceedings of the 19th International Conference on Software Product Line (SPLC '15)
PublisherAssociation for Computing Machinery
Publication date2015
Pages11-15
ISBN (Print)978-1-4503-3613-0
DOIs
Publication statusPublished - 2015
Event19th International Conference on Software Product Line (SPLC '15) - Nashville, United States
Duration: 20 Jul 201524 Jul 2015
Conference number: 19
http://www.splc2015.net/

Conference

Conference19th International Conference on Software Product Line (SPLC '15)
Number19
CountryUnited States
CityNashville
Period20/07/201524/07/2015
Internet address

Fingerprint Dive into the research topics of 'Statistical analysis of probabilistic models of software product lines with quantitative constraints'. Together they form a unique fingerprint.

Cite this