B. K. Aichernig, K. Hörmaier, F. Lorber, D. Nickovic,
R. Schlick, D. Simoneau, and S. Tiran
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 concrete 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 requirements-driven analysis and test methodology.