Контроль програмного модуля

Застосовуються такі методи контролю програмного модуля:

• статична перевірка тексту модуля;
• наскрізне наступні;
• доказ властивостей програмного модуля.

При статичному перевірці тексту модуля цей текст прочитується з початку до кінця з метою знайти помилки в модулі. Зазвичай для такої перевірки приваблюють, крім розробника модуля, ще одного або навіть декількох програмістів. Рекомендується помилки, виявлені при такій перевірці виправляти не відразу, а по завершенню читання тексту модуля.

Наскрізне дослідження являє собою один з видів динамічного контролю модуля. У ньому також беруть участь кілька програмістів, які вручну прокручують виконання модуля (оператор за оператором в тій послідовності, яка випливає з логіки роботи модуля) на деякому набір тестів.

Доказу властивостей програм присвячена наступна лекція. Тут варто лише зазначити, що цей метод застосовується поки дуже рідко.