操作系统 - 2026 进行中

科目: 操作系统
级别: XII (I级最简单，XII级最难)
类别: 大学生
试题语言: Русский
题数: 15
问题示例: Что такое формальная верификация микроядра и чем она принципиально отличается от традиционного тестирования? Математическое доказательство корректности кода относительно формальной спецификации, Интенсивное нагрузочное тестирование, Ручной регрессионный анализ, Фаззинг системных вызовов