милок при вивченні тексту групою фахівців. У цю групу входять: автор програми, проектувальник, спеціаліст з тестування та координатор - компетентний програміст, який управляє і організовує процес інспектування. Загальна процедура інспекції передбачає наступні операції:
? учасника групи заздалегідь видається лістинг програми і специфікація на неї;
? програміст розповідає про логіку роботи програми і відповідає на питання інспекторів;
? програма аналізується про списку питань для виявлення історично сформованих помилок програмування.
Список питань для інспекції вихідного тексту залежить, як від мови програмування, так і від специфіки розроблювального ПЗ.
Як приклад нижче наведено список питань, який можна використовувати при аналізі правильності програм, написаних мовою Pascal.
. Контроль звернень до даних
Чи всі змінні ініціалізовані?
Чи не перевищені Чи максимальні (або реальні) розміри масивів і рядків?
чи не переплутали рядки зі стовпчиками при роботі з матрицями?
Чи присутні змінні з подібними іменами?
Чи використовуються файли? Якщо так, то при введенні з файлу чи перевіряється завершення файлу?
Чи відповідають типи записуваних і читаних значень?
Використано Чи нетипізовані змінні, відкриті масиви, динамічна пам'ять? Якщо так, то чи відповідають типи змінних при «накладення» формату? Чи не виходять індекси за межі масивів?
. Контроль обчислень
Чи правильно записані вирази (порядок проходження операторів)?
Чи коректно виконані обчислення над ньоарифметичне змінними?
Чи коректно виконані обчислення з змінними різних типів (у тому числі з використанням цілочисельний арифметики)?
Чи можливо переповнення розрядної сітки або ситуація машинного нуля?
Чи відповідають обчислення заданим вимогам точності?
Чи присутні порівняння змінних різних типів?
. Контроль передачі управління
Чи будуть коректно завершені цикли?
Чи буде завершена програма?
Чи існують цикли, які не виконуватимуться через порушення умови входу? Чи коректно продовжаться обчислення?
Чи існують пошукові цикли? Чи коректно відпрацьовуються ситуації «елемент знайдено» і «елемент не знайдений»?
. Контроль міжмодульних інтерфейсів
Чи відповідають списки параметрів і аргументів по порядку, типу, одиницям вимірювання?
Не змінює чи підпрограма аргументів, які не повинні змінюватися?
Чи не відбувається порушення області дії глобальних і локальних змінних з однаковими іменами?
Крім безпосереднього виявлення помилок, результати інспекції дозволяють програмісту побачити інші зроблені ним помилки, отримати можливість оцінити свій стиль програмування, вибір алгоритмів і методів тестування. Інспекція є головним і найбільш ефективним способом раннього виявлення частин програми, з більшою ймовірністю містять помилки, що ...
