Scenarios are vital for the specification of software systems. We are developing an open framework for the specification, execution, and conformance evaluation of scenarios. The scenarios define a contract which is bound to an implementation under test. The scenarios are executed by our framework to ensure conformance against the contract.
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.
Scenarios are useful in modeling external behavior of a system, and design patterns are useful in bridging from what is required to how to build it in a given context. Together, scenarios and design patterns, can be a basis for an effective approach to modeling and evaluating alternative designs of event-driven reactive systems. However, both techniques are informal and imprecise for purposes of evaluating implementations. Here we demo a tool based on a precise model of scenarios and design patterns that allows for executing and evaluating a system's implementation relative to required scenarios and design alternatives.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.