If at least one of these tests fails, it has revealed a mutation. Whether test cases detect a mutation or not provides information about the quality of the test cases.
Another new functionality of TESSY V4.3 is a test execution mode, which ensures that test results were generated by the test object and not by chance. For this purpose, the result variables are initialised with various patterns before the test.
There is also a new mode that executes the tests without instrumentation. TESSY carries out instrumentation, for example, for the purpose of coverage measurement in the source code of the test object. The new test mode ensures that the instrumentation is not responsible for a passed test case.
TESSY is manufactured by Razorcat and distributed by Hitex.