русс | укр

Мови програмуванняВідео уроки php mysqlПаскальСіАсемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование


Linux Unix Алгоритмічні мови Архітектура мікроконтролерів Введення в розробку розподілених інформаційних систем Дискретна математика Інформаційне обслуговування користувачів Інформація та моделювання в управлінні виробництвом Комп'ютерна графіка Лекції


Шановні українці! Матеріал був перекладений з російської мови. Тому можуть бути незначні помикли...

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

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

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

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

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

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

Переглядів: 1822

Повернутися взміст





Онлайн система числення Калькулятор онлайн звичайний Науковий калькулятор онлайн