Physics, mathematics, and technology

2012 Issue №10

Back to the list Download the article

Formal models of a system of automated generation of programming tests



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:
4. Новиков Ф. А. Дискретная математика для программистов. СПб., 2009.
5. Курош А. Г. Курс высшей алгебры. М., 1965.