Abstract:
В работе представлен подход к построению системы тестирования процедурных геометрических знаний, т.е. знаний основных вычислительных формул и умений их применять. Этот подход заключается в построении математических моделей для каждого учебного модуля дисциплины геометрия. Основные объекты построения – шаблоны тестовых заданий – представляют собой математические модели тестов, задаваемые в общем виде. Шаблон класса однотипных тестовых заданий представлен геометрическим чертежом, системой формул-соотношений, связывающих элементы чертежа, шаблоном условием тестого задания и шаблоном ответа. Каждый такой шаблон используется как в алгоритмах генерации множества однотипных конкретных тестовых заданий, так и в алгоритмах автоматической проверки правильности ответов. Предлагаемый метод дает возможность описать относительно просто целый класс конкретных тестовых заданий. Важной особенностью системы является возможность автоматической проверки не только окончательного ответа, но и промежуточных формул ответа. Для реализации рассматриваемой системы тестирования необходимо использовать методы компьютерной алгебры и технологии алгебраического программирования. У роботі представлено підхід до побудови системи тестування процедурних геометричних знань, тобто знань основних обчислювальних формул і умінь їх застосовувати. Цей підхід полягає в побудові математичних моделей для кожного навчального модуля дисципліни Геометрія. Основні об'єкти побудови - шаблони тестових завдань являють собою математичні моделі тестів, що задаються в загальному вигляді. Шаблон класу однотипних тестових завдань представлений геометричним кресленням, системою формул - співвідношень, що зв'язують елементи креслення, шаблонами умовою тестового завдання і шаблоном відповіді. Кожен такий шаблон використовується як в алгоритмах генерації множини однотипних конкретних тестових завдань, так і в алгоритмах автоматичної перевірки правильності відповідей. Пропонований метод дає можливість описати відносно просто цілий клас конкретних тестових завдань. Важливою особливістю системи є можливість автоматичної перевірки не тільки остаточної відповіді, але і проміжних формул відповіді. Для реалізації даної системи тестування необхідно використовувати методи комп'ютерної алгебри та технології алгебраїчного програмування.
