Данная работа посвящена разработке системы автоматизированного тестирования. В ходе работы решались следующие задачи: 1.Обзор литературы и анализ существующих методов наборов тестовых проверок; 2.Формулировка задачи для описанных методов в рамках математического программирования; 3.Разработка программы решения поставленных задач, обработки полученных результатов и генерации на их основе тестовых проверок; 4.Проведен анализ работы методов на основе экспериментов, проведенных со сгенерированными проверками для трех тестовых объектов разной сложности. В результате была разработана система автоматизированного тестирования программного обеспечения.

This work is devoted to the development of an automated testing system. In the course of the work, the following tasks were solved: 1. Review of the literature and analysis of existing methods of test sets; 2. Formulation of the problem for the described methods in the framework of mathematical programming; 3. Development of a program for solving the tasks set, processing the results obtained and generating test checks based on them; 4.The analysis of the methods based on experiments conducted with generated tests for three test objects of different complexity is carried out. As a result, a system of automated software testing was developed.