Новости
23-11-2010: Вышла версия 0.1 системы KEDR
Опубликовано admin в Пнд, 12/09/2011 - 11:12Выпущена первая версия системы KEDR. Система предназначена для runtime-анализа модулей ядра Linux. KEDR предоставляет возможность перехватывать вызовы функций, выполняемые анализируемым модулем (функции могут экспортироваться как собственно ядром, так и другими модулями).
Перехват вызовов позволяет, например, выводить в трассу аргументы и возвращаемое значение вызванных функций, выполнять имитацию системных сбоев (в т.ч. имитировать нехватку памяти в системе) и т.д. KEDR предоставляет средства и для реализации других видов анализа модулей ядра.
25-10-2010: Результаты Google Summer of Code 2010 интегрированы в Linux Driver Verification
Опубликовано admin в Пнд, 12/09/2011 - 09:50При поддержке The Linux Foundation мы приняли участие в Google Summer of Code 2010 с проектом "Linux Device Drivers Quality Inspector". В рамках этого проекта студент МФТИ Андрей Третьяков под руководством Алексея Хорошилова разработал инфраструктуру для отслеживания изменений в git репозитории ядра с тем, чтобы инструменты LDV проверяли только те драйвера устройств, в которые могли быть внесены ошибки после предыдущей проверки.
17-03-2010: Новости нашего сайта стали доступны через Twitter
Опубликовано admin в СР, 17/03/2010 - 10:43Нажмите здесь, чтобы подписаться.
15.03.2010: Реконструкция сайта Центра
Опубликовано admin в Пнд, 15/03/2010 - 11:42Начались работы по реконструкции и обновлению содержимого сайта Центра верификации ОС Linux. Предполагаемая дата запуска новой версии сайта - конец 2009 г.
12.06.2009: Новая Программа Центра верификации будет анонсирована на PSI'09
Опубликовано admin в СБ, 27/02/2010 - 14:58Цели и содержание Программы будут раскрыты в докладе Алексея Хорошилова "Establishing Linux Driver Verification Process", который состоится в рамках седьмой международной конференции памяти академика А.П. Ершова "Перспективы систем информатики" (PSI'09), проходящей с 15 по 19 июня 2009 г. в Академгородке (Новосибирск).
Помимо этого, представитель нашего Центра Виктор Кулямин поделится опытом тестирования математических функций в докладе "Standardization and Testing of Mathematical Functions". Приглашаем всех к обсуждению деятельности Центра верификации на конференции PSI'09.
31.08.2009: Публичный релиз ABI Compliance Checker
Опубликовано admin в СБ, 27/02/2010 - 11:35Центр верификации ОС Linux объявляет о публичной доступности нового инструмента для тестирования бинарной совместимости различных версий динамических библиотек - ABI Compliance Checker. Инструмент позволяет обнаружить изменения в публичном интерфейсе библиотеки, которые могут привести к некорректной работе приложений после её обновления. Важным отличием инструмента от существующих аналогов является детальный анализ типов параметров экспортируемых функций на основе разбора заголовочных файлов библиотеки.
30.12.2009: OLVER Core 1.5
Опубликовано admin в СБ, 27/02/2010 - 11:03Выпущена очередная версия тестов OLVER Core 1.5 с улучшенными отчётами о результатах тестирования и расширенным тестовым покрытием. См. детальный список изменений ниже.