Контроль языкового процессора - это прежде всего проверка на его соответствие стандарту языка. Такая проверка сама по себе дает полезную информацию для решения вопросов переноса программ с данного языкового процессора на другой или наоборот. В данной статье предлагается расширить функции контроля процессоров, включив в них проверку машиннозависимых средств языка, различная реализация которых на разных архитектурах допускается стандартом.

Теоретически невозможно доказать соответствие процессора стандарту языка, поскольку не существует формальных методов полного описания языков программирования и тем более методов автоматического построения компиляторов по заданным описаниям языка высокого уровня и машинного языка. Эта проблема обычно решается путем тестирования.

Системы тестов для пользователей 1й группы являются средством аттестации результата их работы. Пользователей 2й группы интересуют результаты прогона тестов в различных реализациях. Для пользователей 3й группы существенны результаты, полученные на конкретной установке, с которой они работают, в частности, реализация средств, которые могут отличаться на разных процессорах. При работе с этими средствами программисты часто допускают ошибки или вовсе опускают их как «темные места» языка, используя его не в полной мере.