У вашего модуля три слоя. Вы, скорее всего, написали только один.
Box Structure заставляет вас определять, что делает модуль, что он запоминает и как работает, как три отдельных проверяемых слоя. Вот как Cleanroom использует их для устранения отладки.
Сначала пишете код, потом тесты, потом обнаруживаете, что код был неправ. Это стандартный цикл. Поэтому отладка поглощает половину сроков большинства проектов.…