A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implementation under test (IUT). In model-based testing, much work has been done on the generation of functional test cases. But few approaches tackle the executability of such test cases. And those that do, offer a solution in which test cases are not directly traceable back to the actual behavior and components of an IUT. Furthermore, extremely few approaches tackle non-functional requirements. Indeed, the User Requirements Notation (URN) is one of few proposals that address the modeling and validation of both functional and non-functional requirements. But if the URN is to support traceability and executability of tests cases with respect to an actual IUT, then the "URN puzzle" must be modified: it must be augmented with a testable model for functional and non-functional requirements, an IUT, and explicit bindings between the two. We explain how these three additions are used in our implemented framework in order to support scenario-based validation.

Additional Metadata
Keywords Contracts, Model-based testing, Scenarios, User requirements notation, Validation
Persistent URL dx.doi.org/10.1109/ASWEC.2010.29
Conference 21st Australian Software Engineering Conference, ASWEC 2010
Arnold, D. (Dave), Corriveau, J, & Shi, W. (2010). Scenario-based validation: Beyond the user requirements notation. Presented at the 21st Australian Software Engineering Conference, ASWEC 2010. doi:10.1109/ASWEC.2010.29