|
Автор |
Сообщение |
den
Старожил
Зарегистрирован: 31.01.2006 Сообщения: 13870 Откуда: Кировоград, Украина
|
|
|
|
На сайте Центра верификации ОС 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). |
|
Вернуться к началу |
dhsilabs@jabber.ru |
|
|
|
|
 Главная страница сайта
|
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете голосовать в опросах
|
|