1. Являются ли правильными атрибуты файлов, описанных явно?
2. Являются ли правильными атрибуты оператора OPEN?
3. Согласуется ли спецификация формата с информацией в операторах ввода-вывода? Например, согласуется ли каждый оператор FORMAT (с точки зрения числа элементарных данных и их атрибутов) с соответствующими операторами READ и WRITE в программе, написанной на Фортране? То же самое применимо к проверке соответствия между списком данных и списком форматов в операторах ввода-вывода PL/1 и Си.
Рис. 6.3 — Сводный список вопросов для выявления ошибок при инспекции (часть 1)
Рис. 6.4 — Сводный список вопросов для выявления ошибок при инспекции (часть 2)
4. Равен ли размеру записи размер области памяти для ввода-вывода? Это может быть важно при блочном вводе-выводе (функции BLOCKREAD и BLOCKWRITE в Паскале, FREAD и FWRITE в Си).
5. Все ли файлы открыты перед их использованием?
6. Правильно ли обнаруживаются и трактуются признаки конца файла?
7. Правильно ли трактуются ошибочные состояния ввода-вывода?
8. Существуют ли смысловые или грамматические ошибки в тексте, выводимом программой на печать или экран дисплея?