Предмет: Операционные системы
Уровень: XII
Категория: студент
Тестовые вопросы: на русском языке
Пример вопроса: Что такое формальная верификация микроядра и чем она принципиально отличается от традиционного тестирования? Математическое доказательство корректности кода относительно формальной спецификации, Интенсивное нагрузочное тестирование, Ручной регрессионный анализ, Фаззинг системных вызовов