209 похожих чатов

А про верификацию драйверов? как вы отличаете одно прерывание от

другого и влияние изменяемых переменных друг на друга в двух прерываниях и более?

1 ответов

9 просмотров

На этот вопрос ответить не могу. В этом проекте на данеый момент не участвую . Строится абстракция драйвера и все переменные участвующие в верификации помечаются. У каждой переменной диапазон вариантов. Как внутри решатель работает сказать не могу давно с ним работал. Вот проект. http://linuxtesting.ru/ldv

Похожие вопросы

Обсуждают сегодня

Карта сайта