WP6-03

From COMP4DRONES
Revision as of 12:54, 4 October 2022 by Ait (talk | contribs) (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 |}")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

= 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
Retrieved from "https://c4d.lias-lab.fr/index.php?title=WP6-03&oldid=526"