Requirements verification in the presence of variability

Abstract

The emergence of Software Product Lines and System Family Engineering emphasizes the importance of the notions of variability and commonalities across a domain. Yet, how to integrate these notions into the task of verifying requirements against the actual behavior of an implementation has received little attention. In this paper, our position is that a model-driven approach to requirements verification in the presence of variability is entirely feasible.