Спроектировать тесты для модуля прошивки контроллера

Есть модуль для микроконтроллера на Си. Для него нужно:
- составить список тестов
- описать, какие тестовые прошивки потребуются
- написать подробные инструкции для тестировщика (как подключать, что заливать, как проверять результат)

ожидаемый результат
на выходе четыре документа – тест-условия, тест-кейсы, покрытие, описание прошивок

тест-условия:
- перечисление всех условий/ситуаций, которые нужно проверить (пустой список, перезапуск).
- не думаем, как и в каком порядке будут проверяться эти условия – только формируем перечень
- пример в файле test_conds.md
    
тест-кейсы:
- конкретные, детальные шаги и проверки для тестировщика.
- Написан так, чтобы выполнять тесты можно было не думая (залили прошивку, подключили питание, посмотрели сигнал, должно быть 3.3В)
- пример в файле test_cases.md
    
покрытие:
- показывает, в каких тест-кейсах покрываются тест-условия
- по сути – матрица трассировки, просто записанная в виде списка пар <условие, покрывающий его кейс>
- пример в файле test_map
    
прошивки:
- перечисляет используемые в тест-кейсах прошивки и описывает их поведение
- поведение нужно прописать детально, в динамике (не обобщённые абстрактные описания)
- пример в файле firmware

тестируем по методу HIL (hardware in the loop) – целевую прошивку заливаем на
контроллер, его пины подключаем к тестовому контроллеру, заливаем на него
тестовую прошивку, она подаёт тестовые сигналы и валидирует ответы

тестируемый модуль отвечает за связь по usart со стороны slave: получает
команды, проверяет чексумму и адрес, передаёт на выполнение слейву. Слейв через
этот модуль отправляет мастеру события (завершение команды, или какие-то ошибки)

интерфейс модуля в файле slave.h
Требования к содержимому тестов – в файле requirements.md
Гайдлайны и примеры хорошо/плохо – в файле guidelines.md
Описание протокола общения модуля – в файле pizza_link_1.01.pdf