Una avaluació quantitativa de si les declaracions executables en el codi de fer els càlculs exactes requerits a les fórmules matemàtiques.