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 tests and test cases are not directly traceable back to the actual behavior of an IUT. Furthermore, very few approaches tackle non-functional requirements. Consequently, we have implemented a validation framework that does support the modeling and automated validation of a set of functional and non-functional requirements against several candidates IUTs. We report here on the key characteristics of this prototype and briefly discuss lessons learnt from its use in the context of a graduate course.

Additional Metadata
Keywords Executability, Model-based testing, Validation
Persistent URL dx.doi.org/10.1109/SERA.2010.46
Conference 8th International Conference on Software Engineering Research, Management and Applications, SERA 2010
Citation
Arnold, D. (Dave), Corriveau, J, & Shi, W. (2010). Modeling and validating requirements using executable contracts and scenarios. Presented at the 8th International Conference on Software Engineering Research, Management and Applications, SERA 2010. doi:10.1109/SERA.2010.46