In order to confirm that the task of interfacing MathML and OpenMath has been achieved, we must test the program in a variety of situations. We will be ensuring that all guidelines described in Chapter 3 are properly adhered to. The testing will also prove the efficiency of the overall design.
The most important feature to look for is that the translation process does not alter or modify the expressions being translated. Additionally, it is essential that all results produced by the translator are compliant to the OpenMath and MathML standards. We will focus on ensuring semantic value is preserved as well as making sure that CDs appear correctly next to symbols, MathML attributes are accurate, and that OpenMath symbols not handled are properly dealt with. Finally we will test the outputs of the program with the widespread MathML renderer: IBM TechExplorer.
The aim of this document is to verify the program accomplishes its task of translating OpenMath to MathML.