Functionality Equivalence Verification
- Functionality Equivalence Verification
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.
The related term functional equivalence, introduced by ArtinSoft experts to refer to software migration efforts regarding legacy transformations, is used as a yardstick to measure when an application's legacy code has been successfully migrated to a more modern code and the application's functionality has been preserved.
When functional equivalence has been reached and properly verified, the migrated application functions exactly in the same manner that the original application behaved--with the same functionalities, properties, and under the same conditions. Usually, reaching functional equivalence is a critical first step of a software modernization project. After an application's code has been successfully converted, generally using automated techniques, developers can proceed to add more functionality, and take advantage of the new code's characteristics to further improve upon and streamline the migrated application's existing functionality.
ee also
* Software Migration
* Legacy transformation
* Visual Basic .NET
* Microsoft .NET
External links
* [http://www.artinsoft.com/wp_legacy.aspx Legacy Transformation]
* [http://www.artinsoft.com/default.aspx ArtinSoft]
Wikimedia Foundation.
2010.
Look at other dictionaries:
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Software testing — is an empirical investigation conducted to provide stakeholders with information about the quality of the product or service under test [ [http://www.kaner.com/pdfs/ETatQAI.pdf Exploratory Testing] , Cem Kaner, Florida Institute of Technology,… … Wikipedia
And-inverter graph — An and inverter graph (AIG) is a directed, acyclic graph that represents a structural implementation of the logical functionality of a circuit or network. An AIG consists of two input nodes representing logical conjunction, terminal nodes labeled … Wikipedia
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
π-calculus — In theoretical computer science, the π calculus (or pi calculus) is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems) … Wikipedia
Pi-calculus — In theoretical computer science, the pi calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS (Calculus of Communicating Systems). The aim of the … Wikipedia
Electronic design automation — (EDA) is the category of tools for designing and producing electronic systems ranging from printed circuit boards (PCBs) to integrated circuits. This is sometimes referred to as ECAD (electronic computer aided design) or just CAD. (Printed… … Wikipedia
Operational transformation — Operation Transformation redirects here. For the cross media event, see Operation Transformation (TV series). Operational transformation (OT) is a technology for supporting a range of collaboration functionalities in advanced groupware systems.… … Wikipedia
Engineering Change Order — (ECO) is used for changes in documents such as processes and work instructions. It may also be used for changes in specifications.ECOs are also called an Engineering Change Note or Engineering Change Notice (ECN) or just engineering change (EC).… … Wikipedia
Chemistry — For other uses, see Chemistry (disambiguation). Chemistry is the science of atomic matter (that made of chemical elements), its properties, structure, comp … Wikipedia
