Automation of Requirements-based Testing

Manual requirements-based testing is time- consuming: Input data must cover the requirements and observed output data must be checked for their compatibility with the requirements. Testcases can also be automatically generated from test models. However, these models first have to be established manually. In contrast, the approach to be presented here uses simpler ways of formalizing requirements to automatically map test data generated for automatic robustness testing using massive stimulation to requirements and to check the results for correctness.