In the MATERA approach, the requirements of the SUT are structured and specified graphically using SysML diagrams. The requirements are linked to different parts of the UML-based system specification, for instance to models or to model elements. When the specification is used for test generation the requirements are associated with the generated test cases and propagated throughout test execution. Consistency checks are performed at different levels of the MBT process to ensure both syntactic and semantic consistency. For instance, at modelling level, the requirements and the models are evaluated for correctness, completeness, and consistency. In addition, checks that all the requirements have been addressed in the system specification and that they have been covered during testing are performed. Information is collected on how different requirements have been covered during both test generation and test execution phase, respectively. Based on this information the requirements are tracked back to the specifications from which the corresponding test cases have been generated, in order to detect the source of possible faults in the specifications.

Web site: MATERA