Пакет прикладных программ автоматизированного синтеза тестов