A method and apparatus is described for the checking of the correctness and consistency of units and dimensions of variables and constants used in expressions, such as those used in computer programs. The present invention relates to a method (200) and apparatus (100) for performing such checking. A set of user-supplied precompiler directives is added to the computer program that is to be checked. Broadly, functions, function parameters, constants and variables are replaced with strings from the precompiler directives. The resulting expressions are reduced into a standard form. The expressions in the reduced form are tested for homogeneity according to a set of predetermined conditions.

Un método y un aparato se describe para la comprobación de la corrección y consistencia de unidades y las dimensiones de variables y las constantes usadas en expresiones, tales como ésos usados en programas de computadora. La actual invención se relaciona con un método (200) y el aparato (100) para realizar tal comprobación. Un sistema de directorios user-supplied del precompiler se agrega al programa de computadora que debe ser comprobado. Ampliamente, las funciones, los parámetros de la función, las constantes y las variables se substituyen por las secuencias de los directorios del precompiler. Las expresiones que resultan se reducen en una forma de estándar. Las expresiones en la forma reducida se prueban para la homogeneidad según un sistema de condiciones predeterminadas.