Info21, да, у меня единственное, что пришлось придумывать и городить, - это автоматическую сборку-прогон с помощью Make. Модуль Tests тривиальный. Единственное, до чего руки пока не дошли, - контролировать выброс ASSERT'ов в ответ на некорректные входные данные. Когда сделаю, добавится ещё одна экспортированная процедура в модуль, и всё.

Судя по обилию "систем тестирования", перечисленных ввикипедии, задача это и в самом деле тривиальная, решённая всеми, кому не лень.