Экспортированная процедура может быть помечена модификатором { TEST }.
При компиляции с опцией --test=ИмяТестовогоБакэнда будут запущены все помеченные процедуры при компиляции модуля.
Сейчас есть простой тестовый бакэнд FoxTestBackend. То есть компилировать модуль с опцией --test=Test.
Если, дополнительно к ключу --test, использовать опцию --testFile=ИмяФайла, то будет сгенерирован файл для FoxTest.Mod - это файлы, подобные Oberon.Compilation.Test
Примеры можно посмотреть в модулях Math.Mod MathL.Mod