Манифест Центра верификации ОС Linux
Операционная система Linux доказала свое право на существование. Стабильный рост числа компьютеров, на которых она установлена, а также рост сообщества разработчиков самой системы и приложений для нее непреложно свидетельствуют об этом. Однако есть и тревожные факты. Вместе с ростом числа различных дистрибутивов Linux растут и проблемы разработчиков программ для этой платформы, так как необходимо учитывать множество отличий между различными ее версиями.
Чтобы продолжить устойчивое развитие Linux, необходимо обеспечить совместимость между ее различными вариантами и повысить надежность этой платформы в целом. На достижение этой цели направлена деятельность международного консорциума The Linux Foundation, в работе которого участвует Линус Торвальдс и который поддерживается ведущими ИТ компаниями, такими как HP, IBM, Intel, Novell, Oracle, RedHat и многими другими. Одна из взятых ими на себя задач — разработка набора открытых стандартов, описывающих требования, которые должны поддерживаться всеми дистрибутивами Linux. Уже появившиеся версии стандартов Linux Standard Base (LSB) и Carrier Grade Linux свидетельствуют о большом продвижении в выбранном направлении.
Центр верификации Linux также участвует в движении по повышению надежности и совместимости платформы Linux. Мы видим свою задачу в продвижении Linux с помощью развития открытых стандартов и наукоемких технологий верификации и тестирования. Одним из важных направлений является дополнение имеющихся стандартов формальными описаниями их требований в виде спецификаций, которые позволят автоматически создавать легко сопровождаемые и управляемые наборы тестов, проверяющих соответствие реализации Linux этим требованиям. Дело в том, что даже очень хорошие стандарты остаются лишь благими пожеланиями, пока нет удобных и надежных способов проверить соответствие им. Дополнение стандартов формальными описаниями позволит также выявить нечеткие места, устранить еще встречающиеся противоречия и учесть неявные требования, которые часто упускаются даже разработчиками официальных сертификационных тестов.
Центр верификации Linux намерен использовать в своей работе передовые разработки и большой опыт Института системного программирования РАН в области автоматизированного построения тестов по формальному описанию требований, накопленный при выполнении ряда исследовательских и промышленных проектов.
На первом этапе Центр верификации Linux выполнил работы по формализации Core части стандарта LSB 3.1 и созданию соответствующих тестов. В настоящее время Центр активно сотрудничает с Linux Foundation в области разработки инфраструктуры использования и развития стандарта LSB в целом. Все результаты работы Центра находятся в свободном доступе (open-source).
Кроме опытных экспертов к работе Центра привлекаются студенты и аспиранты ведущих российских ВУЗов, выпускающих специалистов по программной инженерии. Таким образом будут подготовлены специалисты, знающие и умеющие применять на практике передовые методы обеспечения качества программ.
Своей стратегической целью мы считаем создание в России центра экспертизы в области разработки качественного программного обеспечения и его интеграцию в общемировое сообщество разработчиков открытого ПО. Это будет способствовать повышению качества и популярности как открытого ПО в целом, так и платформы Linux в частности, открывая перед ними новые перспективы развития.