Вообще такой путь - сначала человек ставит задачу. В постановке заодно даёт имена разным сущностям (предметам, операциям, исполнителям). Вроде какздесь. Затем в программе и прочем (тех же утверждениях) проверяется наличие этих имён (как полных, так и сокращённых). Так примерно...

Очевидно, в среде это реализовать - тоже нефиг делать...При некоторых условиях. Прежде всего д.б. каноническая структура проекта - чтобы встроенный тестер знал, где искать предметное описание и математические формализации (откуда берёт образцы, полагаемые осмысленными). Допустим, что-то вроде данного реферата задачи (но в перспективе - реферата системы с учётом сказанного здесь:viewtopic.php?p=74644#p74644). Некий канон неформальных рассуждений о задаче устанавливает Виталий Валерьевич в "Решении сложных задач". Ещё надо задать правила перебора сокращений (со слитностью/без, на какую глубину от длины слова)...
Далее, неплохо, чтобы в неформальном тексте документа среды имена тоже были полями, как уже у Вас в исходниках. Тогда они идут в реестр сущностей (тезаурус проекта), где и ишшем...Совсем хорошо - если неформальные имена категорированы (на императивные, декларативные и исполнительские). Вроде как в такой форме, как таблицаздесь. Тогда тестер проверяет раздельно по категориям.
Фактически при наличии такой таблицы он только в её именных столбцах и шарит (перебирая все языки).
Ну и результат понятен - выдаётся процент полных/частичных совпадений имён в постановке и последующих формализациях. Ну, там можно придумать списки диффов в той или иной форме...

Этот механизм наиболее очевиден. И его можно вполне очевидно же обмануть - если уже в допрограммных описаниях выбирать бессмысленные имена.Однако предполагается, что постановку в проекте формирует предметник - который в реале к алгоритмизации/кодингу отношения не имеет. Вот ещё один аргумент за разделение ролей (рабочих мест) в каждом проекте... В учебке, конечно, все они студенты - но у каждого свои права доступа к проекту, так что придётся договариваться...вот и ещё момент игры (а правила препод заранее объявляет)...