WP6-03 - Revision history

Ait at 14:00, 4 October 2022

2022-10-04T14:00:25Z

← Older revision		Revision as of 14:00, 4 October 2022
Line 25:		Line 25:
	\|}		\|}

	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]).		MoMuT is a model based testing tool addressing functional and non-functional test-case generation from behaviour models. Non-functional aspects include safety invariants and robustness testing ([1][2][3][4]).

	== Detailed Description ==		== Detailed Description ==

Ait at 13:50, 4 October 2022

2022-10-04T13:50:55Z

← Older revision		Revision as of 13:50, 4 October 2022
Line 25:		Line 25:
	\|}		\|}

	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]).		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]).

	== Detailed Description ==		== Detailed Description ==
Line 40:		Line 40:

	==Contribution and Improvements==		==Contribution and Improvements==
	In the project, ~~we will improve~~ support for testing communication protocols driven by the needs of evaluating the correctness of an implementation of a key exchange protocol.		In the project, AIT improved support for testing communication protocols driven by the needs of evaluating the correctness of an implementation of a key exchange protocol.
			The toolchain proposed by AIT to address UC5 is a model-based test case generation framework, whereby we create a model of the protocol to test, run the model-based mutation testing tool and then use the test to verify the protocol implementation. The main tools involved are Papyrus for the modelling, MoMuT for the test-case generation from the model and finally a test-adapter to run the tests against the protocol implementation.

			[[File:MoMuT_toolchain.png\|600px\|thumb\|frame\|center\| MoMuT toolchain]]

	== Interoperability with other C4D tools ==		== Interoperability with other C4D tools ==

Ait at 13:45, 4 October 2022

2022-10-04T13:45:05Z

← Older revision		Revision as of 13:45, 4 October 2022
Line 31:		Line 31:

	For functional test- case generation, it uses mutation-based test- case generation, where a behaviour model is slightly changed (= mutated) and test cases are searched that would allow to discriminate the original and the mutant by the outside behaviour. The change might e.g. be a modified operator or a literal used. The concept is sketched in the following figure.		For functional test- case generation, it uses mutation-based test- case generation, where a behaviour model is slightly changed (= mutated) and test cases are searched that would allow to discriminate the original and the mutant by the outside behaviour. The change might e.g. be a modified operator or a literal used. The concept is sketched in the following figure.

			[[File:MoMuT_tcg.png\|600px\|thumb\|frame\|center\| Mutation based test case generation.]]

			Non-functional aspects that can be addressed are:
			* safety invariants (by checking condition during exploration)
			* robustness (via smart fuzzing on top of generated tests)
			* performance (if a learned cost predictor can be derived)

	==Contribution and Improvements==		==Contribution and Improvements==
			In the project, we will improve support for testing communication protocols driven by the needs of evaluating the correctness of an implementation of a key exchange protocol.

	== Interoperability with other C4D tools ==		== Interoperability with other C4D tools ==

Ait: /* Detailed Description */

2022-10-04T13:40:36Z

Detailed Description

← Older revision		Revision as of 13:40, 4 October 2022
Line 28:		Line 28:

	== Detailed Description ==		== Detailed Description ==
			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).

			For functional test- case generation, it uses mutation-based test- case generation, where a behaviour model is slightly changed (= mutated) and test cases are searched that would allow to discriminate the original and the mutant by the outside behaviour. The change might e.g. be a modified operator or a literal used. The concept is sketched in the following figure.

	==Contribution and Improvements==		==Contribution and Improvements==

Ait at 13:18, 4 October 2022

2022-10-04T13:18:42Z

← Older revision		Revision as of 13:18, 4 October 2022
Line 20:		Line 20:
	\|-		\|-
	\| License \|\| Commercial, Non-Commercial, Academic		\| License \|\| Commercial, Non-Commercial, Academic
			\|-
			\| URL \|\| https://momut.org/

	\|}		\|}

	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~~]).		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]).

	== Detailed Description ==		== Detailed Description ==
Line 34:		Line 37:
	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.		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.

			[[File:MoMuT_Inperoperability.png\|600px\|thumb\|frame\|center\| MoMuT tool interoperability graph]]

	==References==		==References==
Line 45:		Line 48:

	[4] Fellner, Andreas , et al. Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search. ACM Trans. Embed. Comput. Syst. 2019.		[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/~~

Ait at 13:14, 4 October 2022

2022-10-04T13:14:11Z

@@ Line 1: / Line 1: @@
-== Model-based Mutation Testing - Protocol Testing ==
+= Model-based Mutation Testing - Protocol Testing =
 {|class="wikitable"
 |  ID|| WP6-MoMuT
@@ Line 21: / Line 21: @@
 |   License || Commercial, Non-Commercial, Academic
 |}

Ait at 13:01, 4 October 2022

2022-10-04T13:01:28Z

← Older revision		Revision as of 13:01, 4 October 2022
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
	\|}		\|}

Ait: 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 |}"

2022-10-04T12:54:13Z

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 |}"

New page

= 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
|}