A DUAL VIEWPOINT SOFTWARE TEST TOOL

This report describes how a combination of two testbeds can be used to confirm that low level code (typically output from a compiler) is functionally equivalent to the high level code from which it was derived, This method, developed by the company as part of its customer support programme, establishes that code written in a high level language retains its functionality after compilation. In essence the objective is to demonstrate that the low level code ia machine code or assembler language representation) is functionally equivalent to the high level code from which it was derived by comparison of the static and dynamic characteristics of the two forms of the code. Two testbeds (hence the name DUAL) are used to perform static and dynamic analysis of both the high level and the low level codes.