Integration of Requirements Engineering and Test-Case Generation via OSLC

Bernhard K. Aichernig, Klaus Hormaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran
2014 2014 14th International Conference on Quality Software  
We present a requirement-centered analysis and testing framework that integrates methods and tools for capturing and formalizing textual customer requirements, analyzing requirements consistency, generating test cases from formalized requirements and executing them on the implementation model. The framework preserves a fine grained traceability of informal and formal requirements, test cases and implementation models throughout every step of the workflow. We instantiate the framework with
more » ... te tools that we integrate via a file repository and Open Services for Lifecycle Collaboration (OSLC). The standardized integration ensures that the framework remains generic -any specific tool used in our instantiation can be replaced by another one with compatible functionality. We apply our framework on an industrial airbag control chip case study that we use to illustrate step-by-step our requirementsdriven analysis and test methodology.
doi:10.1109/qsic.2014.13 dblp:conf/qsic/AichernigHLNSST14 fatcat:vgz43xlej5ce7dm5jiz6qzo5ru