Центр верификации ОС Linux - Новости

30.12.2009: OLVER Core 1.5

Wed, 30 Dec 2009 18:22:10 +0300

Выпущена очередная версия тестов 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 функций (см. список спецификаций онлайн).

31.08.2009: Публичный релиз ABI Compliance Checker

Mon, 31 Aug 2009 18:25:19 +0400

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

12.06.2009: Новая Программа Центра верификации будет анонсирована на PSI'09

Fri, 19 Jun 2009 07:08:43 +0400

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

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

15.04.2009: Центр верификации на Linux Foundation Summit 2009

Mon, 11 May 2009 11:39:47 +0400

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

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

10.02.2009: Jim Zemlin (LF CEO) в ИСП РАН

Mon, 11 May 2009 11:23:14 +0400

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

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

27.06.2008: OLVER Core 1.4

Tue, 01 Jul 2008 18:41:54 +0400

Выпущена очередная версия тестов 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 функций (см. список спецификаций онлайн).

28.12.2007: OLVER Core 1.3

Fri, 28 Dec 2007 20:06:37 +0300

Выпущена очередная версия тестов 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 функций (см. список спецификаций онлайн).

01.11.2007: Центр верификации на SECR 2007

Thu, 20 Dec 2007 20:53:22 +0300

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

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

16.10.2007: Markus Rex (LF CTO) в ИСП РАН

Sat, 03 Nov 2007 11:54:06 +0300

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

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

29.09.2007: Центр верификации на SofTool 2007 и SITOP 2007

Sat, 03 Nov 2007 11:41:17 +0300

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

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

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

21.06.2007: OLVER Core 1.2

Thu, 21 Jun 2007 11:53:39 +0400

Выпущена очередная версия тестов OLVER Core 1.2 с рядом устраненных ошибок и доработок. Произведена реорганизация и чистка исходного кода. Доработаны описания известных несоответствий дистрибутивов требованиям 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 функций (см. список спецификаций онлайн).

18.06.2007: Центр верификации на Linux Foundation Summit

Thu, 21 Jun 2007 10:48:10 +0400

Первый Linux Foundation Collaboration Summit прошел 13-15 июня 2007 года в центральном городке Google в Силиконовой долине, Калифорния, США. Это уникальное мероприятие с участием только по приглашениям собрало около 230 ключевых специалистов Linux экосистемы, чтобы обсудить текущее положение и стратегические задачи развития этой платформы.

22.03.2007: Центр верификации на CeBIT 2007

Mon, 12 Mar 2007 18:42:36 +0300

Центр верификации ОС Linux и ИСП РАН были представлены на международной выставке CeBIT 2007, Ганновер, Германия, 14-21 марта 2007 г. Наш стенд был расположен в рамках объединенной экспозиции Министерства образования и науки РФ в павильоне 6, стенд A48.

Мы рады выразить признательность всем коллегам и партнерам, с которыми имели честь пообщаться на данном мероприятии.

31.01.2007: OLVER Core 1.1 с поддержкой IA64

Mon, 05 Feb 2007 17:27:04 +0300

Выпущена очередная версия тестов OLVER Core 1.1 с рядом устраненных ошибок и поддержкой новых платформ, из которых основным добавлением стала архитектура IA64 (Itanium). Используйте следующие сссылки для просмотра текущих результатов проекта:

систематизированный каталог требований 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 функций (см. список спецификаций онлайн).

29.12.2006: Выпущен релиз OLVER Core 1.0

Fri, 29 Dec 2006 13:04:04 +0300

Центр верификации ОС Linux завершает основную фазу проекта по формализации стандарта LSB Core 3.1 и созданию соответствующих тестов. Выпущен релиз тестового набора OLVER Core 1.0 (начиная с этой версии добавляется слово "Core" для отличия от возможных будущих релизов для других функций Linux). На сайте Центра обновлены и дополнены результаты проекта (по состоянию на 29 декабря 2006 г.):

систематизированный каталог требований 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 функций (см. список спецификаций онлайн).