Title :
Requirements verification in the presence of variability
Author :
Corriveau, J. -Pierre ; Bashardoust, Soheila ; Radonjic, Vojislav D.
Author_Institution :
Sch. of Comput. Sci., Carleton Univ., Ottawa, ON, Canada
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.
Keywords :
formal verification; model-driven approach; requirements verification; software product lines; system family engineering; Analytical models; Computational modeling; Contracts; Object oriented modeling; Software; Testing; Unified modeling language; domain models; model-driven transformations; requirements; testing; variability; verification;
Conference_Titel :
Model-Driven Requirements Engineering Workshop (MoDRE), 2011
Conference_Location :
Trento
Print_ISBN :
978-1-4577-0957-9
Electronic_ISBN :
978-1-4577-0959-3
DOI :
10.1109/MoDRE.2011.6045369
