IKBFU's Vestnik

2012 Issue №10

Back to the list Download an article

Formal models of a system of automated generation of programming tests

Pages
159-166

Abstract

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.

Reference

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