WP6-03: Difference between revisions
Jump to navigation
Jump to search
(Created page with "= Model-based Mutation Testing - Protocol Testing {|class="wikitable" | ID|| WP6-MoMuT |- | Contributor || AIT |- | Levels || Tool |- | Require || Linux, Windows, UML/Event-B/OOAS model |- | Provide || Generation of a set of test cases and provides feedback about the quality of the existing test suite. |- | Input || UML/Event-B/OOAS model, testinterface |- | Output || Test suite |- | C4D tooling || n.a. |- | TRL || 4 |}") |
(No difference)
|
Revision as of 12:54, 4 October 2022
= Model-based Mutation Testing - Protocol Testing
| ID | WP6-MoMuT |
| Contributor | AIT |
| Levels | Tool |
| Require | Linux, Windows, UML/Event-B/OOAS model |
| Provide | Generation of a set of test cases and provides feedback about the quality of the existing test suite. |
| Input | UML/Event-B/OOAS model, testinterface |
| Output | Test suite |
| C4D tooling | n.a. |
| TRL | 4 |