30 Сен
2011
30 Сен
'11
10:47
Коллеги,
"В эфире" периодически звучит тема "верификация драйверов Linux". Может ли кто-то сделать доклад на эту тему? Для затравки список литературы есть здесь: http://linuxtesting.ru/project/ldv/bibliography
В ИСПе что-то вроде сделали: http://www.ispras.ru/ru/proceedings/docs/2011/20/isp_20_2011_163.pdf
Наверняка есть и другие источники, просто я не в теме.
Мотивация: для стенда Сухого постоянно пишутся те или иные драйвера, и одна из проблем -- создание корректной схемы блокировок. Интересно, есть ли методы, хоть насколько-то автоматизирующие проверку корректности драйверов под Линукс, в частности схемы блокировок.
--
Василий.