Для контроля структуры программы можно использовать три метода:
• статический контроль,
• смежный контроль,
• сквозной контроль.
Статический контроль состоит в оценке структуры программы, насколько хорошо программа разбита на модули с учетом значений рассмотренных выше основных характеристик модуля.
Смежный контроль сверху ? это контроль со стороны разработчиков архитектуры и внешнего описания ПС. Смежный контроль снизу ? это контроль спецификации модулей со стороны разработчиков этих модулей.
Сквозной контроль ? это мысленное прокручивание (проверка) структуры программы при выполнении заранее разработанных тестов. Является видом динамического контроля так же, как и ручная имитация функциональной спецификации или архитектуры ПС.
Следует заметить, что указанный контроль структуры программы производится в рамках водопадного подхода разработки ПС, т.е. при классическом подходе. При конструктивном и архитектурном подходах контроль структуры программы осуществляется в процессе программирования (кодирования) модулей в подходящие моменты времени.