metamorphic-test-generator

Metamorphic testing validates programs by checking if outputs satisfy expected relationships after input transformations. You need it to test programs without test oracles, verify mathematical properties, or detect subtle bugs through input-output relationships.

You generate test cases by providing your program, original test cases, and metamorphic properties as input. The generator applies transformations to create new inputs, executes them, verifies outputs satisfy the properties, and reports violations or anomalies.

Yes, you can validate mathematical or algorithmic properties by using metamorphic testing. It checks if your program's outputs adhere to expected metamorphic relationships across different input scales and transformations, reporting any violations found.

Yes, the metamorphic test generator supports multiple programming languages and various property types such as permutation and addition. It executes tests across these languages and outputs an expanded test suite with a property coverage summary.

Automated test generation detects subtle bugs by applying input transformations and checking if outputs satisfy expected metamorphic relationships. It identifies violations and anomalies, expanding your test suite to uncover issues traditional testing might miss.