Изучение методов формирования тестового покрытия для базы данных, входящей в состав интегрированной информационной системы, основанного на априорном анализе рисков и модифицированной модели верификации базы данных для сокращения затрат на автоматизацию.