Validating functional equivalence of re‐engineered programs via control path, result, and data flow comparison

1 January 1994

journal article
Published by Wiley in Software Testing, Verification and Reliability

Vol. 4 (1) , 33-44
https://doi.org/10.1002/stvr.4370040105

Abstract

A combination of three approaches is proposed here to validate the functional equivalence of re‐engineered programs. These are: control path comparison; data result comparison; and data flow comparison. Two of the three approaches are based on the theory of program slicing. The third approach is based on the theory of data invariance, i.e. the same input must produce the same output. Together, these techniques can provide a cost effective regression test environment for large scale re‐engineering projects.

Keywords

This publication has 7 references indexed in Scilit:

Bank application reengineering and conversion at the Union Bank of Switzerland
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
Economics of software re-engineering
Journal of Software Maintenance: Research and Practice, 1991
Techniques for selective revalidation
IEEE Software, 1990
Post-maintenance testing based on path change analysis
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering, 1985
Comparison of Structural Test Coverage Metrics
IEEE Software, 1985
Program Slicing
IEEE Transactions on Software Engineering, 1984