Есть вопрос?
Зайди на форум

Поиск на сайте: Advanced

Denix - новый дистрибутив Linux. Русификация Ubuntu и установка кодеков

dkws.org.ua
Форум сайта dkws.org.ua
 
Главная    ТемыТемы    АльбомАльбом    РегистрацияРегистрация 
 ПрофильПрофиль   Войти и проверить личные сообщенияВойти и проверить личные сообщения   ВходВход 

Центр верификации Linux представил результаты проекта по соз

 
Начать новую тему Эта тема закрыта, вы не можете писать ответы и редактировать сообщения.    Список форумов dkws.org.ua -> Общий форум
 
Автор Сообщение
den

Старожил


Зарегистрирован: 31.01.2006
Сообщения: 13870
Откуда: Кировоград, Украина

СообщениеДобавлено: Вт Май 23, 2006 6:54 am    Заголовок сообщения: Центр верификации Linux представил результаты проекта по соз
Ответить с цитатой

На сайте Центра верификации ОС 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
Показать сообщения:   
Начать новую тему Эта тема закрыта, вы не можете писать ответы и редактировать сообщения.    Список форумов dkws.org.ua -> Общий форум Часовой пояс: GMT
Страница 1 из 1
 Главная страница сайта
 
Перейти:  
Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете голосовать в опросах
© Колисниченко Денис