Tags

3.11.17

3.11.16

3.11.15

3.11.14

3.11.13

3.11.12

3.11.11

3.11.10

3.11.9

3.11.8

3.11.7

3.11.6

3.11.5

3.11.4

3.11.3

3.11.2

3.11.1

3.11.0

Today (considering CET time) Artemis II has started to its voyage to the Moon.
MTR minor version has been also updated today due the following updates which have been made since our last release (3.10.0, R6: Great spotted woodpecker):

Overview of new functionalities:
+ Model handling:
	- Model:
		- Handle `"requirements"` field within the model, where besides the name and the id of the given requirement, its description and related standard and links can be given. Then requirements can be assigned to given set of transitions in the model.
		- Updates on model parsing:
			- Critical log message is given if a mandatory field of an EFSM model variable (`id` or `type`) is missing or a `type` of a variable is invalid
			- Warning log message is given if an action or a guard condition is given, but `variables` field is missing.
		- Log model information:
			- Log the numbers of requirements in the model
	- Model conversions:
		- Updates on Inject random faults to the model:
			- Introduce `--weak_check` CLI/configuration flag to be able to set that the injected model should be only weakly-connected instead of strongly-connected.
		- Add handling of requirements when converting models
	- Model comparison feature for two FSM or EFSM models
+ Test generation:
	- Updates on existing test generation algorithms:
		- Random Walk (R) and Weighted Random Walk (WR): Handle new stop condition under `random_coverage_type`: `requirement`. It stops if the given percentage of requirements are covered.
		- Transition Tour (TT) + Directed Chinese Postman (DCP): Next node representation of Euler tour has been added to Graphviz graph visualization
		- Transition weight and cost value has been added to transition labels in Graphviz visualization if `--show_edge_weights_and_costs` flag is used
		- Reset Check Sequence (RCS) test generation: Extend the state verification method (`rcs_state_verification` CLI/configuration flag) of the initial state after _reset_ is applied: Besides status message (`status`), Separating Family of Sequences (`sfs`) or auto mode (`auto`) can be used as well.
+ Test set and suite manipulations
	- Split structured test suite
+ Simulations:
	- Fault detection scoring of test suites and test sets: Evaluates the fault detection capability of existing test sets and test suites against a set of mutant models.
+ Introduction examples:
	- Model railway shop introduction examples

Bugfixes:
+ Model handling:
	- Model:
		- Fix a bug, to handle string literals (in enum and string variables of EFSM models) that contain regex operators (e.g. +, *, etc.) properly
		- Fix a bug, for which models that used addiosymbols conversion previously can not be used with the Log Model Information feature
	- Model conversions:
		- Fix a bug, for which `ADD_STATE` changes where not logged correctly in the `"changeDataList"` of Inject random faults to the model feature
		- Start state id of an FSM model is set correctly when the start state is merged with another state during state minimization
+ Test generation:
	- All-Transition-State (ATS): Add missing iterative transition id/name lists to ATS subsequences
	- H-method: Fix the bug, when H-method could not find shortest separating sequences in some cases
	- HSI method: Fix a bug related to the subsequences feature for separating family of sequences

Other improvements (useful for developers):
+ Refactors related to TestSuiteParser and writer:
	- TestSuiteJsonParserUtil for TestSequenceParser has been refactored
	- Introduce new constants
	- Reset symbol exception handling
+ Refactors related to Inject random faults to the model
+ User Guide section number checking script has been rewritten from scratch
+ CI tests:
	- Improve CI build time (`mtr-ci-container` docker container, which is built from our dockerfile, CMake updates: use `Release` build type, `UNITY_BUILD` target propery, add CCache compatibility, use the determined cores for parallel build)
	- `section_numbering_references_test` has been added to search for broken links pointing to given sections of User Guide
	- Unify the naming convention in `TestGenerationTest.h` and `ConversionTest.h`
+ Minor refactor related to check if file or folder exists at indicated path

3.10.39

3.10.38