Основные:
1. Медведовский И.Д., Семьянов П.В., Леонов Д.Г., Лукацкий А.В. Атака из Internet. – М.: Солон-Р, 2002.
2. Галатенко В. А. Основы информационной безопасности. – М: Интернет-Университет Информационных Технологий – ИНТУИТ.РУ, 2003.
3. Щербаков А. Ю. Введение в теорию и практику компьютерной безопасности. – М.: Издательство Молгачева С. В., 2001.
4. В. Г. Олифер, Н. А. Олифер. Компьютерные сети. Принципы, технологии, протоколы. – СПб: Питер, 2000.
Виды ошибок
Ошибки анализа.
Связаны либо с неполным учетом ситуации, которые могут возникнуть, либо с неверным решением задачи.
К 1 случаю относятся, например, пренебрежение возможностью появления отрицательных значений переменных, малых и больших величин.
Во 2 случае обычно имеют место крупные и мелкие логические ошибки, из которых можно назвать:
- Отсутствие заданий начальных значений переменных.
- Неверные условия окончания цикла.
- Неверную индексацию цикла.
- Отсутствие задания условий инициирования цикла.
- Неправильное указание ветви алгоритма для продолжения процесса решения задачи.
Ошибки общего характера.
После того, как найден подходящий алгоритм решения задачи, на этапе программирования также могут появиться ошибки, независимо от выбранного языка.
Такими ошибками могут быть:
- ошибки из-за недостаточного знания или понимания программистом языка программирования или самой машины
- ошибки, допущенные при программировании алгоритма, когда команды, используемые в программе, не обеспечивают последовательности событий, установленной алгоритмом.
Ошибки физического характера.
Можно назвать несколько типов ошибок, вызываемых неверными действиями программиста:
- Пропуск некоторых операторов.
- Отсутствие необходимых данных.
- Непредусмотренные данные.
- Неверный формат данных.
Большое значение для успешной отладки программы имеют простота и рациональность ее кодирования.
Когда программа написана аккуратно и логично, легче избежать ошибок или выявить их в случае возникновения.
Следует избегать возможных программистских трюков, т.к. чем их больше, тем труднее отладка программы для самого автора, а кто-то другой этого сделать просто не сможет.
Правильность программ.
Любые программы - правильные в отношении их логического построения только для определенного типа данных, поэтому необходимо четко определить область значений данных, в которой программа способна функционировать. Необходимо вводить операторы, позволяющие проверить, находятся ли данные в установленных границах.
Нарушение правильности может проявляться двумя способами:
- неверная синтаксическая конструкция программы
- программа выдает неверные результаты
Правильность синтаксиса означает, что должны быть точно сформированы наименования переменных; арифметические и логические операции должны подчиняться определенным синтаксическим правилам и т.п.
Синтаксические ошибки.
Выявление транслятором синтаксических ошибок представляет собой самый важный и необходимый этап отладки программы.
Если под синтаксической ошибкой понимать "всякое нарушение требований языка программирования", то следует признать, что многие ошибки остаются необнаруженными.
В качестве примеров синтаксических ошибок можно назвать:
- пропуск необходимого знака пунктуации
- несогласованность скобок
- пропуск нужных скобок
- неправильное формирование оператора
- неверное образование имени переменной
- неправильное использование арифметических операторов
- неверное написание зарезервированных слов
Примерами синтаксических ошибок, охватывающих взаимодействие двух или более операторов, могут служить:
- Противоречивые команды.
- Отсутствие условий окончания цикла.
- Дублирование или отсутствие меток.
- Отсутствие описания массива.
- Запрещенный переход.
Советы по устранению ошибок:
- Если ошибок много, то в первую очередь устранить очевидные.
- Обратиться к руководству по программированию на данном языке (справка).
- Выбрать хороший отладочный компилятор.
Неопределенные переменные.
Распространенными источниками программных ошибок являются неопределенные переменные и переменные, для которых не заданы начальные значения.
Определение начальных значений:
- Присваивание.
- Ввод.
- Чтение из файла.
Разные прогоны программы с одними и теми же данными могут привести к различным результатам.
Обнаружение ошибок.
Ситуации, по которым мы определяем, что в программе есть ошибка:
- Отсутствует уверенность в том, что программа начала выполняться.
- Программа начала выполняться, но произошел преждевременный останов с выдачей или без выдачи сообщений о системной ошибке.
- Программа начала выполняться, но зациклилась.
- Программа выдала неправильную информацию.
Любая из этих ситуаций требует от программиста проверки последовательности выполнения команд. Обычно для этого пригодна трассировка.
Процесс обнаружения ошибок характеризуется выявлением двух мест в программе:
- точки обнаружения
- точки происхождения
Точка обнаружения - место в программе, где ошибка себя проявляет или становится очевидной.
Точка происхождения - место в программе, где возникают условия для появления ошибки.
Точка обнаружения выявляется первой и служит отправным пунктом для поиска точки происхождения.
Действительная ошибка исходит не из точки обнаружения, а из точки происхождения.
Виды отладки. Защитное программирование.
Отладка начинается с того момента, когда перестают выдаваться сообщения о синтаксических ошибках. Вначале процесса отладки надо использовать простые тестовые данные. Если при этом получаются верные результаты, следует переходить к тестированию программы на более сложных данных. Если результаты не верны, возможны следующие ситуации:
- Синтаксических ошибок нет, но программа не скомпилирована. Подобные ситуации встречаются редко и свидетельствуют о наличии какой-то принципиальной ошибке в программе. В этих случаях обычно появляется сообщение о тех или иных системных ошибках, которые можно использовать в качестве вспомогательного средства для выявления имеющихся ошибок.
- Программа скомпилирована, работает, но не выдает результатов. Такие неполадки вызываются какими-либо логическими или синтаксическими ошибками. Примером ошибки служит ситуация, когда программа начинает работу и сразу уходит на ветвь окончания выполнения задания, не выдав результатов. Системная ошибка имеет своей первоосновой некоторую программную ошибку, которая заставляет ОС прервать процесс выполнения программы. Сигнал прерывания может исходить от оборудования самой ОС или скомпилированной программы.
- Программа скомпилирована, работает, но происходит преждевременный останов. Ошибки, приводящие к преждевременному прекращению работы и сопровождаемые затем сообщением о системной ошибке, называют "взрывами " или "воронками".
- Программа скомпилирована, работает, но выдает неправильные результаты. Достижение этой стадии говорит, что программа в принципе работает правильно, а ее логика работает почти точно.
- Программа зациклилась. На этом этапе отладки необходимо произвести разбор циклов.
Защитное программирование характеризует такой стиль написания программы, при котором появляющиеся ошибки легко обнаруживаются.
Защитное программирование - это встраивание отладочных средств в программу.
Примером защитного программирования может служить метод заглушек при кодировании сверху вниз.
19.01
