Functional Equivalence Toolbox

End User-based Testing Tool

Behavioral equivalence comparison of parallely running applications (original application and migrated application) based on migration trace. Exemplary implementation based on SOAP web service applications is provided.

Model-based Tester

Behavioral equivalence comparison of original and migrated applications at model level. To this end, the behavioral comparison is realized using the activity diagrams that are obtained through the migration.