A Functional Verification Techniques in Software Reverse Engineering


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 5, No. 10, pp. 2546-2555, Oct. 1998
10.3745/KIPSTE.1998.5.10.2546,   PDF Download:

Abstract

Existing Systems need to be modified due to the change of environment, the emergence of new technology and the requirement of change. One of the features of system transformation is how the functions of the old systems is preserved in the transformed system after reverse-engineering. But, the techniques to evaluate and verify the transformed system have proceeded more partially and fragmentarily. In this paper, we have proposed the functional coverage and developed the tool and techniques for verifying functional equivalence between a procedural software and a transformed object-oriented software. The tool and methods are efficiently used to verify whether the transformed program preserves the same functionality as the existing program.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
H. S. Myung and J. Y. Taek, "A Functional Verification Techniques in Software Reverse Engineering," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 5, no. 10, pp. 2546-2555, 1998. DOI: 10.3745/KIPSTE.1998.5.10.2546.

[ACM Style]
Hwang Sun Myung and Jin Young Taek. 1998. A Functional Verification Techniques in Software Reverse Engineering. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 5, 10, (1998), 2546-2555. DOI: 10.3745/KIPSTE.1998.5.10.2546.