Автоматизация процессов сертификации программ решения задач численного анализастатья