Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking

Authors:
Carlo Ghezzi;Amir Molzam Sharifloo
Affiliations:
-;-
Venue:
SPLC '11 Proceedings of the 2011 15th International Software Product Line Conference
Year:
2011

Citing 0
Cited 5

Simulation-based abstractions for software product-line model checking

Proceedings of the 34th International Conference on Software Engineering
A survey on software product line testing

Proceedings of the 16th International Software Product Line Conference - Volume 1
Non-functional requirements in model-driven software product line engineering

Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages
The crosscutting impact of the AOSD Brazilian research community

Journal of Systems and Software
Discrete time Markov chain families: modeling and verification of probabilistic software product lines

Proceedings of the 17th International Software Product Line Conference co-located workshops

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we describe how probabilistic model checking techniques and tools can be used to verify non-functional properties of different configurations of a software product line. We propose a model-based approach that enables software engineers to assess their design solutions in the early stages of development. Furthermore, we discuss how verification time can surprisingly be reduced by applying parametric model checking instead of classic model checking, and show that the approach can be effective in practice.