The biggest challenges in model testing are to set up the requirements correctly, so that these can be utilized in test evaluation, and to systematically create test cases to stimulate the model for simulation accordingly.
In previous webinars, we have shown you how to use the MES Test Manager ® (MTest) and its feature MTest Assessable Requirement Syntax (MARS) to write down the requirements in a formalized pattern that still resembles natural language. These MARS requirements can be used to systemize and clearly present the requirements. Moreover, they can also be used to automatically generate requirement observer functions (assessments) to evaluate the test results according to the requirements.
In this webinar, we will show you a new MTest feature - a prototype to utilize MARS requirements for functional test sequence generation. By analyzing the requirement conditions, MARS can automatically derive signal behaviors to stimulate the model according to a requirement, and generate appropriate test sequences automatically. As a result, MARS will provide sequences for a given test object serving a high requirement coverage. [...]