Формальные модели для системы автоматизированной генерации тестов по программированию :: Единая Редакция научных журналов БФУ им. И. Канта

×

Ваш логин
Зарегистрироваться
Пароль
Забыли свой пароль?
Войти как пользователь:
Войти как пользователь
Вы можете войти на сайт, если вы зарегистрированы на одном из этих сервисов:
   
Трудных наук нет, есть только трудные изложения
Александр Герцен

DOI-генератор Поиск по DOI на Crossref.org

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


Автор Алсынбаева Л. Г., Алсынбаев К. С.
Страницы 159-166
Статья Загрузить
Ключевые слова [text]математическая модель, тестовое задание, программирование, информатика. mathematical model, test, programming, informatics.
Аннотация Рассматриваются формальные подходы к созданию алгоритмов, реализованных в системе автоматизированной генерации тестовых заданий. Представлена структура программной системы генерации тестовых заданий по программированию. Описаны постановки задач и математические модели для некоторых модулей системы.

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.

Назад в раздел