Операциялық жүйелер пәні бойынша зияткерлік олимпиада - 2026 өткізілуде

Пән атауы: Операциялық жүйелер
Деңгей: XII
Санаты: студент
Сынақ сұрақтары: орыс тілінде
Сұрақ үлгісі: Что такое формальная верификация микроядра и чем она принципиально отличается от традиционного тестирования? Математическое доказательство корректности кода относительно формальной спецификации, Интенсивное нагрузочное тестирование, Ручной регрессионный анализ, Фаззинг системных вызовов