{Автоматизированный, например, автоматический генератор тестовой программы [atpg], переводы программы, отладка тестовой программы}