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 |}") |
|||
| Line 1: | Line 1: | ||
= Model-based Mutation Testing - Protocol Testing | == Model-based Mutation Testing - Protocol Testing == | ||
{|class="wikitable" | {|class="wikitable" | ||
| ID|| WP6-MoMuT | | ID|| WP6-MoMuT | ||
| Line 18: | Line 18: | ||
|- | |- | ||
| TRL || 4 | | TRL || 4 | ||
|- | |||
| License || Commercial, Non-Commercial, Academic | |||
|} | |} | ||
Revision as of 13:01, 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 |
| License | Commercial, Non-Commercial, Academic |