Verifying Non-functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking
Software Product Line Conference, International (2011)
Aug. 22, 2011 to Aug. 26, 2011
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SPLC.2011.33
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.