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.
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.