В скором времени очевидно прийдется писать программу(для PC)для тестирования блоков сложной системы.

Самый сложный блок, с точки зрения тестирования, представляет собой вычислитель с двумя интерфейсами.

По одному получает команды и выдает ответы от/для "старшего" ведущего блока.

По второму интерфейсу - сам выдает команды и получает ответы/данные.

Нужно протестировать надежность работы алгоритма внутри тестируемого блока.

Процедура тестирования следующая.
Есть компьютер и блок подключенный к нему через 2 интерфейса.
В блоке рабочая програма на PC тестирующая.

Тестирующая программа заготавливает 4 очереди данных

1 - Команды для передачи по первому интерфейсу.
2 - Контрольные запросы для сверки с теми, что блок передает по второму интерфейсу
3 - Контрольные ответы/данные которые передаются блоку по второму интерфейсу
3 - Контрольные ответы которые блок должен вернуть по первому интерфейсу.

То что лог нужно вести - это понятно. :-)

Но вот очереди нужно редактировать, тестировать на корректность.
Так же нужно проанализировать какие ошибки можно промоделировать и как их ввести в тестовые последовательности.

Нужно также хоть какую нибудь теоретическую базу подвести - что данный алгоритм тестирования дает определенную вероятность отсутствия ошибок в алгоритме.

Создавать велосипед с нуля не хочется.
Очевидно нужен какой то скриптовый язык.
Возможно есть какой-то стандарт как в программируемых контролерах.
Не плохо чтобы был редактор и тестер такого языка.

Може есть какая-то не слишком заумная теория тестирования протоколов обмена и алгоритмов вычисления?

Куда гуглить?