Acceptance testing is highly dependent on the formulation of requirements, as
the final system is tested against user requirements. It is thus highly
desirable to be able to automate transition from requirements to acceptance
tests. In this paper we present a model-driven approach to this issue, where
detailed use case models are transformed into test cases. Importantly, our
approach facilitates synchronising functional test cases with other types of
tests (non-functional, domain logic, user interface) and introducing test
data. This leads to a unified approach where requirements models of various
kind drive the acceptance testing process. This process is parallel to the
development process which also involves automatic transformations from
requirements models to software development artefacts (models and code). To
show validity of the approach we present a case study which uses a new tool
called ReDSeT, that transforms requirements formulated in the Requirements
Specification Language (RSL) into tests in a newly proposed Test
Specification Language (TSL).
Towards the automated debugging and maintenance of logic-based requirements models