Ошибки ввода-вывода

1. Являются ли правильными атрибуты файлов, описанных явно?

2. Являются ли правильными атрибуты оператора OPEN?

3. Согласуется ли спецификация формата с информацией в операторах ввода-вы­во­да? Например, согласуется ли каждый оператор FORMAT (с точки зрения числа элементарных данных и их атрибутов) с соответствующими операторами READ и WRITE в программе, написанной на Фортране? То же самое применимо к проверке соответствия между списком данных и списком форматов в операторах ввода-вы­во­да PL/1 и Си.

Рис. 6.3 — Сводный список вопросов для выявления ошибок при инспекции (часть 1)

Рис. 6.4 — Сводный список вопросов для выявления ошибок при инспекции (часть 2)

4. Равен ли размеру записи размер области памяти для ввода-вы­во­да? Это может быть важно при блочном вводе-вы­во­де (функции BLOCKREAD и BLOCKWRITE в Паскале, FREAD и FWRITE в Си).

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

6. Правильно ли обнаруживаются и трактуются признаки конца файла?

7. Правильно ли трактуются ошибочные состояния ввода-вы­во­да?

8. Существуют ли смысловые или грамматические ошибки в тексте, выводимом программой на печать или экран дисплея?