RT Journal Article
JF 2011 15th International Software Product Line Conference (SPLC 2011)
YR 2011
VO 00
SP 170
TI Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking
A1 Carlo Ghezzi,
A1 Amir Molzam Sharifloo,
K1 Software Product Lines
K1 Non-Functional Requirements
K1 Probabilistic Model Checking
AB 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.
PB IEEE Computer Society, [URL:http://www.computer.org]
LA English
DO 10.1109/SPLC.2011.33
LK http://doi.ieeecomputersociety.org/10.1109/SPLC.2011.33