1. Ошибки обращения к данным

1. Существует ли обращения к переменным, значения которым не установлены (не присвоены или не инициализированы)?

2. Не выходят ли значения индексов за границы массивов или таблиц? Принимает ли каждый индекс целое значение?

3. Есть ли «подвешенные обращения», т.е. всегда ли корректно обращение локальными и глобальными переменными в процедурах.

4. Не имеет ли одна и та же область памяти различные имена?

5. Существует ли явные или неявные проблемы адресации?

6. Вычислимы ли адреса битовых строк? Передаются ли битовые строки в качестве аргументов?

7. Соответствуют ли друг другу определения структуры, данные ей в различных процедурах?

8. Существует ли какие-нибудь другие ошибки в операциях с индексацией или при обращении к массивам по индексу?

2. Описание данных

   1. Все ли переменные описаны?

   2. Правильно ли инициализированы массивы и страны?

   3. Правильно ли определены размер, тип и класс памяти?

   4. Согласуется ли инициализация с классом памяти?

   5. Нельзя ли обойтись без переменных со сходными именами?

3. Вычисления

1. Производится ли вычисления неарифметических переменных?

2. Возможно ли переполнение или потеря промежуточного результата при вычислении?

3. Не меньше ли длина результата, чем длина вычисляемого значения?

4. Есть ли длина на нуль?

5. Не выходит ли значение переменной за пределы установленного диапазона?

6. Порядок ли порядок следования операторов?

4. Сравнение

   1. Сравниваются ли величины несовместимых типов?

   2. Сравниваются ли величины различных типов?

   3. Корректны ли отношения сравнения?

   4. Корректны ли булевские выражения?

   5. Понятен ли порядок следования операторов?

5. Передача управления

   1. Будет ли завершен каждый цикл?

   2. Будет ли завершена программа?

   3. Существует ли какой-нибудь цикл, который не выполняется из-за входных условий?

   4. Корректны ли возможные погружения в цикл?

   5. Есть ли ошибки отклонения числа итераций от нормы?

   6. Соответствует ли друг другу операторы начала и конца цикла?

   7. Существует ли неявные решения?

6. Ввод-вывод

   1. Правильны ли атрибуты файлов?

   2. Правильно ли операторы открытия файлов?

   3. Открыты ли файлы перед их использованием?

   4. Соответствует ли формат спецификации операторам ввода-вывода?

   5. Обнаруживаются признаки конца файла, производятся ли закрытие файлов в конце завершения работы программы?

   6. Обнаруживаются ли ошибка ошибки ввода-вывода?

   7. Существует ли какие-нибудь текстовые ошибки в выходной информации?

7. Интерфейс

   1. Равно ли число входных параметров числу аргументов?

   2. Соответствует ли атрибуты параметров и аргументов?

   3. Согласуется ли определения глобальных переменных во всех использующих их модулях?

   4. Есть ли в таблице перекрестных ссылок какие-нибудь переменные, на которые нет ссылок?

   5. Равно ли число аргументов, передаваемых вызываемым модулям, числу параметров?

   6. Правильно ли заданы число, атрибуты и порядок следования аргументов, для следования аргументов для встроенных функций?

   7. Не изменяет ли подпрограмма аргументы, являющиеся только входными?