出典:Wikipedia
出典:『Wikipedia』 (2008/10/16 20:32 UTC 版)
Functionality Equivalence Verification is a technique used to prove that code modifications like code optimization, code restructure and dead code removal will not cause for any functionality change. This heuristic approach to testing functionality differs from both regression tests and sanity tests. This verification is done at the assembly code level.