Вестник БФУ им. И. Канта

2012 Выпуск №10

Назад к списку Скачать статью

Формальные модели для системы автоматизированной генерации тестов по программированию

Страницы / Pages
159-166

Аннотация

Рассматриваются формальные подходы к созданию алгоритмов, реализованных в системе автоматизированной генерации тестовых заданий. Представлена структура программной системы генерации тестовых заданий по программированию. Описаны постановки задач и математические модели для некоторых модулей системы.

Formal approaches to creation of algorithms implemented in automated tests generation system are considered. Structure of a software system of programming tests generation is presented. Problem statements and mathematical models for some modules of the system are described.

Список литературы

1. Алсынбаева Л. Г. Система автоматизированной генерации тестовых заданий // Программные продукты и системы. 2009. № 4.
2. Морозенко В. В. Дискретная математика. Пермь, 2008.
3. Фонд знаний «Ломоносов». URL: http://www.lomonosov-fund.ru/enc/ru/encyclopedia:0135750.
4. Новиков Ф. А. Дискретная математика для программистов. СПб., 2009.
5. Курош А. Г. Курс высшей алгебры. М., 1965.