Архитектура Linux Driver Verification


Рубрика: Новости Linux
Метки:
Просмотров: 1815

В статье "Архитектура Линукс Driver Verification 0" (PDF, 700 Кб) представлено описание применимости способа статического анализа кода для проверки корректности драйверов устройств для платформы Линукс. Представленный способ дает возможность выявить ошибки на основании анализа исходных текстов, без непосредственного исполнения кода. В отличие от традиционных методов тестирования статический разбор кода дает возможность проследить немедленно все пути исполнения утилиты, в частности, нечасто встречающиеся и трудно воспроизводимые при динамическом тестировании.

Проект Линукс Driver Verification является открытым и развивается при участии организации Линукс Foundation, Института системного программирования Отечественной Академии Наук (ИСП РАН) и Федерального агентства РФ по науке и инновациям. Наработки проекта распространяются в рамках лицензии Apache. Дополнительно подготовлен online-сервис для проверки драйверов. Перечень выявленных с помощью LDV проблем возможно поглядеть на данной странице 0.


  • Комментариев: 0

  • Вконтакте

  • Facebook:

    Оставьте комментарий!

    grin LOL cheese smile wink smirk rolleyes confused surprised big surprise tongue laugh tongue rolleye tongue wink raspberry blank stare long face ohh grrr gulp oh oh downer red face sick shut eye hmmm mad angry zipper kiss shock cool smile cool smirk cool grin cool hmm cool mad cool cheese vampire snake excaim question

    Используйте нормальные имена. Ваш комментарий будет опубликован после проверки.

    Имя и сайт используются только при регистрации

    Если вы уже зарегистрированы как комментатор или хотите зарегистрироваться, укажите пароль и свой действующий email. При регистрации на указанный адрес придет письмо с кодом активации и ссылкой на ваш персональный аккаунт, где вы сможете изменить свои данные, включая адрес сайта, ник, описание, контакты и т.д., а также подписку на новые комментарии.

    Авторизация 

    MaxSiteAuth.

    (обязательно)