WP6-03: Difference between revisions
| Line 1: | Line 1: | ||
= Model-based Mutation Testing - Protocol Testing = | |||
{|class="wikitable" | {|class="wikitable" | ||
| ID|| WP6-MoMuT | | ID|| WP6-MoMuT | ||
| Line 21: | Line 21: | ||
| License || Commercial, Non-Commercial, Academic | | License || Commercial, Non-Commercial, Academic | ||
|} | |} | ||
MoMuT is a model-based testing tool addressing functional and non-functional test-case generation from behaviour models. It can work from several different input modelling languages (e.g. UML and domain specific languages). ([1][2][3][4] [5]). | |||
== Detailed Description == | |||
==Contribution and Improvements== | |||
== Interoperability with other C4D tools == | |||
Models to be used as input for MoMuT can be in different formats and formalisms e.g. UML (in Eclipse Papyrus or SparxSystems Enterprise Architect format), a MoMuT specific textual format or a domain specific language. If Papyrus UML is used, this should be compatible/integrable with models for Papyrus4Robotics. This could also lead to interoperation with the security analysis tool. | |||
==References== | |||
[1] MoMuT::UML model-based mutation testing for UML. Aichernig, B, et al. 2015. 2015 ieee 8th international conference on Software testing, verification and validation (icst). p. 1-8. | |||
[2] Mapping UML to labeled transition systems for test-case generation: a translation via object-oriented action systems. Krenn, W, Schlick, R and Aichernig, B. K. Berlin, Heidelberg : s.n., 2010. Proceedings of the 8th international conference on formal methods for components and objects. pp. 186–207. | |||
[3] Fellner, Andreas, Tarrach, Thorsten and Weissenbacher, Georg. Language Inclusion for Finite Prime Event Structures. VMCAI. s.l. : Springer, 2020, Vol. 11990, pp. 314-336. | |||
[4] Fellner, Andreas , et al. Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search. ACM Trans. Embed. Comput. Syst. 2019. | |||
[5] https://momut.org/ | |||
Revision as of 13:14, 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 |
MoMuT is a model-based testing tool addressing functional and non-functional test-case generation from behaviour models. It can work from several different input modelling languages (e.g. UML and domain specific languages). ([1][2][3][4] [5]).
Detailed Description
Contribution and Improvements
Interoperability with other C4D tools
Models to be used as input for MoMuT can be in different formats and formalisms e.g. UML (in Eclipse Papyrus or SparxSystems Enterprise Architect format), a MoMuT specific textual format or a domain specific language. If Papyrus UML is used, this should be compatible/integrable with models for Papyrus4Robotics. This could also lead to interoperation with the security analysis tool.
References
[1] MoMuT::UML model-based mutation testing for UML. Aichernig, B, et al. 2015. 2015 ieee 8th international conference on Software testing, verification and validation (icst). p. 1-8.
[2] Mapping UML to labeled transition systems for test-case generation: a translation via object-oriented action systems. Krenn, W, Schlick, R and Aichernig, B. K. Berlin, Heidelberg : s.n., 2010. Proceedings of the 8th international conference on formal methods for components and objects. pp. 186–207.
[3] Fellner, Andreas, Tarrach, Thorsten and Weissenbacher, Georg. Language Inclusion for Finite Prime Event Structures. VMCAI. s.l. : Springer, 2020, Vol. 11990, pp. 314-336.
[4] Fellner, Andreas , et al. Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search. ACM Trans. Embed. Comput. Syst. 2019.