Тест-кейсы

Написание тест-кейсов для схемы

Таблица истинности говорит, что схема делает. Тест-кейс говорит, того ли вы хотели. Вы описываете интересующие вас сочетания входов вместе с ожидаемыми выходами, запускаете и получаете вердикт по каждой строке вместо таблицы, которую ещё нужно прочитать.

Это становится важным, как только проект перерастает исчерпывающую проверку. Выше десяти входов полная таблица — это тысячи строк, а по-настоящему значимых случаев обычно единицы: границы диапазонов, распространение переноса, та самая кодировка, которая сломалась в прошлый раз. Записанные, они превращают разбор проекта в повторяемую процедуру: поменяли схему, перезапустили и сразу видите, не сломали ли то, что раньше проходило.

• Имена колонок сопоставляются с подписями ваших элементов INPUT и OUTPUT.
• Символ x в колонке выхода означает «не важно» — удобно, когда для данного набора входов определена лишь часть результата.
• Провалившаяся ячейка показывает полученное значение рядом с ожидаемым, так что расхождение видно сразу, без ручной пересимуляции.

# полусумматор
A B | S C
0 0 | 0 0
0 1 | 1 0
1 0 | 1 0
1 1 | 0 1

Каждая строка симулируется независимо, фронта тактового сигнала между строками нет. Поэтому инструмент рассчитан на комбинационные схемы: проект с триггерами или счётчиками переносит состояние от строки к строке так, как таблица выразить не может, и страница предупреждает, когда обнаруживает такие элементы.