abstract: Предложен усовершенствованный метод формализации текстов, представленных на естественном языке, для применения в системе компьютерного тестирования. В качестве прототипа рассмотрен научно-методический аппарат, реализованный в программной системе машинного перевода Автоматизированный обработчик текстов (АОТ) НПО «ДИАЛИНГ». В отличие от прототипа, усовершенствованный метод позволяет расширить функциональные возможности программной системы в направлениях обработки синонимов, учета важности учебного материала и вариативности логики построения ответа обучающимися, а также сравнения формальных моделей текстов.
keywords: автоматизированная обработка текста, программная система тестирования, образовательный процесс