35 / 36 · Теория

Планы проверки и поиск ошибок

Задайте ожидаемые результаты для обычных, граничных случаев и сброса.

Цели урока

Задайте ожидаемые результаты для обычных, граничных случаев и сброса.

Обычных случаев мало

Для MUX проверьте все выборы с разными данными, для счётчика — сброс и переход через максимум, для сдвигового регистра — движение одной единицы. Укажите, какую ошибку выявляет каждый тест. Копирование реализации в расчёт ожиданий может повторить её ошибки; используйте независимую таблицу истинности или состояний.

Первая точка расхождения

Найдите первый неверный фронт и сравните старое состояние, считанный вход, приоритет сброса и ширину результата. Если вход меняется точно на фронте, уточните правила выборки симулятора. Запишите проверенные и непроверенные случаи: конечный набор векторов не доказывает всё поведение.

Попробуйте сами

Какой вход выявит обратное направление сдвига?

Прочитать объяснение

После сброса подайте 1,0,0,0 и ожидайте 001→010→100→000. Направление видно лучше, чем на одних единицах.