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