Requirements-based functional testing of model-based embedded software is a crucial requirement of the ISO 26262 safety standard for passenger cars [1]. Test assessment of requirements-based test cases is a laborious task and checking test results manually is prone to error. The intent of this paper is as follows:
We introduce a method for requirements-based testing, which allows testing and automatic evaluation of single as well as several (grouped) requirements with one test sequence. Within a large-scale industrial project we have already shown that our new approach reduces testing expenditures and susceptibility to errors. Within this paper we shall present a method which facilitates the fulfillment of requirements traceability stipulated by ISO 26262. This method supports automated test case generation from test specifications, which then can be executed and assessed by a test tool automatically. The combination of these two methods in an efficient testing framework results in a significant reduction of testing expenditures and considerable increase in test coverage.
