In order to verify whether the translation process is attained, we have created a test suite comprising over 170 MathML and OpenMath examples, more than 80 of each. Most of these examples come from the standard specifications and others have been designed to test specific aspects of the translator. Many of these examples were extensively used throughout the implementation phase.
By running these examples through the translator, it was possible to carefully check if the output produced for each example corresponded to the equivalent expression. This careful analysis, example by example, has proven that in every case, semantic value was preserved and a proper translation was carried out. However, it was important to concentrate on the difficulties arising from translating OpenMath and MathML.