The Community for Technology Leaders
Software Product Line Conference, International (2011)
Munich, Germany
Aug. 22, 2011 to Aug. 26, 2011
ISBN: 978-0-7695-4487-8
pp: 170-174
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.
Software Product Lines, Non-Functional Requirements, Probabilistic Model Checking

C. Ghezzi and A. M. Sharifloo, "Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking," 2011 15th International Software Product Line Conference (SPLC 2011)(SPLC), Munich, 2011, pp. 170-174.
114 ms
(Ver 3.3 (11022016))