Functional requirements are modeled as system invariants. To do so, TestWeaver provides a simple but powerful modeling language: The Requirement Modeling Language (RML). RML models are translated by TestWeaver into C / C ++ code and provided in executable form, for example as FMU, to the simulation. Thousands of RML models can run in any scenario in real time, or even faster. As a result, all requirements are continuously monitored in all scenarios, whether specified by test script, measured on the road, or automatically generated by TestWeaver.
The increased density of the monitored conditions combined with the large coverage of the applied test stimuli yields outstanding results for the systematic test of complex systems.