Создан Российский Центр верификации ОС Linux.
Заявленные задачи:
* Формализация стандартов Linux (дополнение существующих стандартов формальными спецификациями требований в виде машинночитаемых документов).
* Разработка тестовых наборов для автоматизированного тестирования различных вариантов Linux (в том числе частных модификаций) на соответствие стандартам и/или специальным требованиям, заданным в формальном виде.
* Консультации и обучение специалистов технике формализации требований, разработке тестов на основе формальных спецификаций и использованию тестовых наборов Центра.
>>> Подробности