Новости

Выпущена очередная версия тестов OLVER Core 1.5 с улучшенными отчётами о результатах тестирования и расширенным тестовым покрытием. См. детальный список изменений ниже.

Используйте следующие сссылки для просмотра текущих результатов проекта:

• систематизированный каталог требований LSB Core 3.1 для всех 1532 архитектурно независимых функций LSB Core 3.1;
• формальные спецификации в базовом качестве для 1450 функций LSB Core 3.1;
• формальные спецификации в минимальном качестве для 80 функций LSB Core 3.1;
• список выявленных сотрудниками Центра проблемных мест в тексте стандарта LSB Core 3.1 и связанного с ним стандарта POSIX;
• демонстрационные примеры исполняемых тестов для избранных групп функций с аннотированными примерами, позволяющие разобраться в используемой технологии и архитектуре тестового набора;
• бинарные и исходные коды разрабатываемого тестового набора OLVER. На данный момент в набор включены тесты для 1530 функций (см. список спецификаций онлайн).

Центр верификации ОС Linux объявляет о публичной доступности нового инструмента для тестирования бинарной совместимости различных версий динамических библиотек - ABI Compliance Checker. Инструмент позволяет обнаружить изменения в публичном интерфейсе библиотеки, которые могут привести к некорректной работе приложений после её обновления. Важным отличием инструмента от существующих аналогов является детальный анализ типов параметров экспортируемых функций на основе разбора заголовочных файлов библиотеки. Мы рекомендуем ABI Compliance Checker разработчикам библиотек и инженерам сопровождения дистрибутивов, которые заинтересованы в предоставлении своим пользователям стабильного бинарного интерфейса.

Цели и содержание Программы будут раскрыты в докладе Алексея Хорошилова "Establishing Linux Driver Verification Process", который состоится в рамках седьмой международной конференции памяти академика А.П. Ершова "Перспективы систем информатики" (PSI'09), проходящей с 15 по 19 июня 2009 г. в Академгородке (Новосибирск).

Помимо этого, представитель нашего Центра Виктор Кулямин поделится опытом тестирования математических функций в докладе "Standardization and Testing of Mathematical Functions".

Третий Linux Foundation Collaboration Summit прошел 8-10 апреля 2009 года в Сан-Франциско, США. Это уникальное мероприятие с участием только по приглашениям собрало свыше 400 ключевых специалистов Linux экосистемы, чтобы обсудить текущее положение и дальнейшие задачи развития этой платформы.

Представитель Центра верификации Linux Владимир Рубанов принял участие в этом мероприятии как руководитель программы LSB Infrastructure, которую Центр ведет по контракту между ИСП РАН и Linux Foundation. Эта программа лежит в основе развития основн

Jim Zemlin (директор Linux Foundation) посетит ИСП РАН с рабочим визитом 11-12 февраля 2009 г. В рамках визита Джим проведет ряд совещаний по текущему сотрудничеству с ИСП РАН, а также выступит на семинаре ИСП РАН с докладом по теме "Перспективы развития Linux в условиях мирового кризиса".

Семинар открыт для всех желающих и состоится 11 февраля в 15:00 в конференц зале ИСП РАН (110 комн.). Для заказа пропуска обращаться к Владимиру Рубанову (см. Контакты).

Выпущена очередная версия тестов OLVER Core 1.4 с улучшенным тестовым покрытием. См. детальный список изменений ниже.

Используйте следующие сссылки для просмотра текущих результатов проекта:

• систематизированный каталог требований LSB Core 3.1 для всех 1532 архитектурно независимых функций LSB Core 3.1;
• формальные спецификации в базовом качестве для 1450 функций LSB Core 3.1;
• формальные спецификации в минимальном качестве для 80 функций LSB Core 3.1;
• список выявленных сотрудниками Центра проблемных мест в тексте стандарта LSB Core 3.1 и связанного с ним стандарта POSIX;
• демонстрационные примеры исполняемых тестов для избранных групп функций с аннотированными примерами, позволяющие разобраться в используемой технологии и архитектуре тестового набора;
• бинарные и исходные коды разрабатываемого тестового набора OLVER. На данный момент в набор включены тесты для 1530 функций (см. список спецификаций онлайн).

Выпущена очередная версия тестов OLVER Core 1.3 с улучшенным тестовым покрытием и поддержкой всех 7ми аппаратных архитетур LSB. См. детальный список изменений ниже.

Используйте следующие сссылки для просмотра текущих результатов проекта:

• систематизированный каталог требований LSB Core 3.1 для всех 1532 архитектурно независимых функций LSB Core 3.1;
• формальные спецификации в базовом качестве для 1270 функций LSB Core 3.1;
• формальные спецификации в минимальном качестве для 260 функций LSB Core 3.1;
• список выявленных сотрудниками Центра проблемных мест в тексте стандарта LSB Core 3.1 и связанного с ним стандарта POSIX;
• демонстрационные примеры исполняемых тестов для избранных групп функций с аннотированными примерами, позволяющие разобраться в используемой технологии и архитектуре тестового набора;
• бинарные и исходные коды разрабатываемого тестового набора OLVER. На данный момент в набор включены тесты для 1530 функций (см. список спецификаций онлайн).

Представитель Центра верификации ОС Linux Владимир Рубанов выступил с докладом о стандарте Linux Standard Base (LSB) и деятельности Центра в LSB сообществе на конференции Software Engineering Conference Russia (SECR 2007).

• Слайды доклада.
• Полный текст статьи "Linux Standard Base (LSB): Single Linux Specification and Support Infrastructure" (Стандарт LSB: спецификация единой Linux платформы и инфраструктура поддержки).
  

Markus Rex (технический директор Linux Foundaion, вице-президент Novell) посетит ИСП РАН с рабочим визитом 18-19 октября 2007 г. 18 октября Маркус выступит на семинаре ИСП РАН с докладом по темам:

• Linux с точки зрения разработчиков дистрибутивов
• Автоматизированная система построения дистрибутивов SUSE
• Ранняя история Linux, SUSE, Caldera, Redhat и как развивались дистрибутивы ОС Linux уровня предприятия

Центр верификации ОС Linux приглашает всех заинтересованых лиц посетить наш стенд на выставке SofTool 2007, 2-5 октября 2007 г. Наш стенд расположен в рамках объединенной экспозиции Российской Академии Наук.

Кроме того, 3 октября 2007 г. мы приглашаем на доклады представителей Центра в рамках Первой международной конференции по стандартизации информационных технологий и интероперабельности SITOP 2007.

• "Стандарт Linux Standard Base (LSB): единая платформа разработки приложений для Linux". Рубанов Владимир, руководитель проекта.
• "Формальное описание интерфейсов как средство улучшения интероперабельности". Хорошилов Алексей, ведущий архитектор.