SMAT allows the user to configure some aspects of its execution. This can be done by editing the nimrod/tests/env-config.json file. This session will discuss the available options for customization.
The following properties are related to general behavior of SMAT.
By default, SMAT will use the JAVA_HOME env var to populate Java Home. However, it's possible to override this value by setting the java_home property in the configuration file.
By default, SMAT will use either MAVEN_HOME or MVN_HOME, in this particular order, to populate Maven Home. However, it's possible to override this value by setting the maven_home property in the configuration file.
This property allows to change the minimum level of logging messages which are shown during execution. The default value is INFO, but can be customized to either: CRITICAL, ERROR, WARNING, INFO or DEBUG.
This property contains a path to the JSON file which contains input scenarios for SMAT. Please refer to the input documentation for more information regarding the input format.
The following properties are related to the Test Suites Generation step.
This property consists of an array with the name of the Generators which will be used in SMAT during Test Suite Generation step. If not set, all the implemented generators will be used. Valid values are: randoop, randoop-modified, evosuite, evosuite-differential and project.
This property is only used if deterministic test suite generation is disabled. It allows to customize the time in seconds provided for each generator during Test Suite Generation. Default value is 300 seconds.
This property is only used if deterministic test suite generation is enabled. When using deterministic test suite generation, the time for search available cannot be used as a stopping criteria, since different computing power can influence in the time required to generate the same test suite. Thus, SMAT uses the total number of tests generated as a stopping criteria for each one of its generators. By assigning this property, it's possible to customize the total number of tests that are generated by each generator. Default value is 100_000_000.
If set to true, SMAT will use deterministic versions of its generators, i.e., the generated suites will always be the same regardless of how many times the code is executed.
When generate_deterministic_test_suites is set to true, the user customizes the seed that is provided for the invoked test generation tools. Default value is 42.
The following properties are related to the Output Generation step.
This property consists of an array with the name of the Reports that are going to be written during the Output Generation step. If not set, all the implemented generators will be used. Valid values are: behavior_changes, semantic_conflicts, test_suites.