Validating functional equivalence of re‐engineered programs via control path, result, and data flow comparison
作者:
Harry M. Sneed,
期刊:
Software Testing, Verification and Reliability
(WILEY Available online 1994)
卷期:
Volume 4,
issue 1
页码: 33-44
ISSN:0960-0833
年代: 1994
DOI:10.1002/stvr.4370040105
出版商: John Wiley&Sons, Ltd
关键词: Regression testing;COBOL re‐engineering;Verification of program equivalence;Program test coverage
数据来源: WILEY
摘要:
AbstractA 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 proje
点击下载:
PDF
(615KB)
返 回