План проверки, покрытие и независимый эталон

План переводит спецификацию в проверяемые утверждения

Вместо «работает хорошо» запишите конкретные требования: состояние после reset, выход для нормального входа, хранение при остановке, обработка недопустимого входа, момент завершения. Свяжите каждое минимум с одним тестом и наблюдением, чтобы обнаружить пропуски.

Зачем нужен независимый эталон

Копирование срезов^{iСрез выбирает непрерывный диапазон битов вектора. Выбранный диапазон определяет ширину результата и порядок битов. Подробнее} RTL сдвига в эталон может скопировать и ошибку индекса. Другое представление — целочисленное умножение с modulo или сравнение суффикса строки — помогает взаимной проверке. Однако само отличие формы не доказывает независимость; проверьте небольшие случаи вручную.

Покрытие — не число успехов

Покрытие выполненных строк кода не равно проверке функциональных случаев. Пересечения reset×enable, state×input, full×push×pop способны выявлять ошибки. Добавляйте редкие важные комбинации направленными тестами, не полагаясь лишь на случайность.

У комбинационной схемы с N входами можно перебрать $2^N$ наборов, но последовательностная схема имеет также временные последовательности входов. Нужно анализировать достижимость состояний и сохранение инвариантов^{iИнвариант — условие, которое должно выполняться при любом допустимом выполнении. Например, число хранимых элементов FIFO глубиной 4 всегда находится между 0 и 4 включительно.} на всех переходах. Конечный журнал успешных симуляций не является математическим доказательством для неограниченного времени.

Создавайте ожидания независимо из спецификации, а не копируйте реализацию. При сбое сохраняйте не только факт, но и предшествующие вход и состояние.

Уменьшайте сбой и фиксируйте его

Сохраните прежнее состояние, вход, ожидание и факт первого mismatch. Уберите ненужные воздействия, оставив минимальный контрпример, затем исправляйте. Повторно запускайте не только изменённый тест, но и существующие проверки границ и сброса^{iСброс возвращает состояние к заданному начальному значению. Нужно определить, синхронен он или асинхронен и имеет ли приоритет над другими управляющими сигналами. Подробнее}.