Новости

  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 101 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 70 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 15 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 12 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.
  • user warning: Got error 28 from storage engine query: SELECT t.*,v.weight AS v_weight_unused FROM term_node r INNER JOIN term_data t ON r.tid = t.tid INNER JOIN vocabulary v ON t.vid = v.vid WHERE r.vid = 11 ORDER BY v.weight, t.weight, t.name in /opt/drupal-6.33/modules/taxonomy/taxonomy.module on line 640.

17-03-2010: Новости нашего сайта стали доступны через Twitter

Нажмите здесь, чтобы подписаться.

15.03.2010: Реконструкция сайта Центра

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

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

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

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

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

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

30.12.2009: OLVER Core 1.5

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