DKWSLabs

den

На сайте Центра верификации ОС Linux представлены первые результаты проекта по созданию открытого тестового набора ОС Linux.

При поддержке Федерального агентства по науке и инновациям на базе Института системного программирования Российской Академии Наук (ИСП РАН) в 2005 году был создан Центр верификации ОС Linux. Цель Центра — распространение открытых технологий, инструментов и тестовых наборов, стимулирующих обеспечение совместимости Linux со стандартами и способствующих повышению качества и надежности Linux в целом. В настоящее время в рамках деятельности Центра проводится проект со следующими основными задачами:

• формализовать требования стандарта Linux Standard Base (LSB) Core 3.1 в части описания базовых интерфейсов Linux (1532 функции) и на основе этих требований построить автоматизированную систему тестирования, которая будет проверять различные реализации Linux на соответствие требованиям этого стандарта;

• способствовать использованию полученных результатов на практике, привлекая внимание разработчиков и пользователей к проблемам надежности и совместимости разных версий Linux, распространяя знания о новых технологиях обеспечения качества программ и проводя соответствующее обучение. Одной из основных форм распространения результатов проекта выбрана публикация материалов в Интернете. В настоящее время на сайте Центра представлена информация о проекте, используемых технологиях, а также промежуточные результаты, которые включают в себя:

• систематизированный каталог требований LSB Core 3.1 для 223 функций;

• формальные спецификации для 223 функций LSB Core 3.1;

• примеры выявленных сотрудниками Центра проблемных мест в тексте стандарта LSB 3.1 и связанного с ним стандарта POSIX;

• демонстрационные примеры исполняемых тестов для избранных групп функций с аннотированными примерами, позволяющие разобраться в используемой технологии и архитектуре тестовых наборов;

• текущий снимок всех исходных кодов и спецификаций разрабатываемого тестового набора, демонстрирующий текущий статус проекта. На данный момент в наборе в той или иной степени сделаны спецификации и тестовые сценарии для около 350 функций.

Результаты проекта будут представлены на русском (www.linuxtesting.ru) и английском (www.linuxtesting.org) языках. Кроме того, результаты будут опубликованы на www.sourceforge.net под названием OLVER (Open Linux VERification).