Семантическая отладка программ методом поиска конкретных ошибок

• Автор: Черняховский, Владимир Викторович
• Шифр специальности: 01.01.10
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Киев
• Количество страниц: 115 c. : ил. + Прил. (152с. : ил.)

' СОДЕРЖАНИЕ

ВВЕДШИЕ

ШВА I. ОСОБЕННОСТИ ПРОЦЕССА ПРОГРАММИРОВАНШ И

ОТЛАДКИ ПРОГРАММ

1.1. Значение этапа отладки для создания качественного

и надежного программного продукта

1.2. Специфика процесса отладки программ II

1.3. Тестирование и традиционные методы отладки

1.4. Статистические данные и анализ семантических ошибок

1.5. Описание каталога семантических ошибок программирования

ШВА 2. ОСНОВНЫЕ ПОНЯТИЯ И ОСОБЕННОСТИ МЕТОДА ПОИСКА

КОНКРЕТНЫХ ОШИБОК
2.1. Суть метода поиска конкретных ошибок
2.2. Обоснование метода
2.3. Области применения различных методов отладки
2.4. Требования, предъявляемые к системам отладки программ методом поиока конкретных ошибок
2.5. Предпосылки реализации метода
ШВА 3. КАПКАН-ФОРТРАН - ДИАЛОГОВАЯ СИСТЕМА ОТЛАДКИ
ПРОГРАММ МЕТОДОМ ПОИСКА КОНКРЕТНЫХ ОШИБОК
3.1. Назначение и общие характеристики системы
отладки
3.2. Язык отладки ПОИСК-ДИАЛОГ
3.3. Функциональная структура системы отладки
3.4. Функционирование системы отладки

ШАБА 4. МЕТОДИЧЕСКИЕ АСПЕКТЫ ПРИМЕНЕНИЯ МЕТОДА ПОИСКА
КОНКРЕТНЫХ ОШИБОК
4Д. Области применения системы отладки КАПКАН-ФОРТРАН
4.2. Методика использования отладочных процедур
ЗАКЛЮЧЕНИЕ
СПИСОК ЛИТЕРАТУРЫ
ПРИЛОЖЕНИЕ I. КАТАЛОГ ОШИБОК ПРОГРАММИРОВАНИЯ ПРИЛОЖЕНИЕ 2. ОРГАНИЗАЦИЯ ПОИСКА СЕМАНТИЧЕСКИХ ОШИБОК ПРИЛОЖЕНИЕ 3. ПРИМЕР СЕАНСА ОТЛАДКИ ПРОГРАММЫ

ВВ ЕДЕНИЕ
Актуальность теш. В настоящее время значительно возрос объем задач, которые можно перевести на язык вычислительных машин. Расширился диапазон естественных наук,для которых на сегодняшний день возможно и необходимо применение вычислительных машин. Основными этапами решения всякой задачи на ЭВМ являются: формализация, которая заключается в ее математическом описании с использованием определенных обозначений и систем правил; программирование-перевод построенной математической модели на язык конкретной ЭВМ, например, на ФОРТРАН; отладка-поиск и устранение из программы ошибок для ее адекватного функционирования согласно математической модели и исходной постановке задачи. Ввиду неформальности и сложности отладки доля времени и других ресурсов, необходимых на поиск и устранение ошибок в программах, может достигать 50% и более от всех выделенных на решение задачи.
Традиционный метод отладки-тестирование не обеспечивает построение в рамках существующих подходов и технологий разработки программного обеспечения простых и эффективных методик для обнаружения значительной части семантических ошибок. Отсутствие таких методик объясняется как недостаточной изученностью процесса отладки, так и все усложняющимся и увеличивающимся в объеме прикладным программным обеспечением. Поэтому задача совершенствования процесса отладки и разработки более эффективных приемов и методов для проведения отладки является весьма актуальной.
Цель работы. Целью диссертационной работы является:
1) исследование семантических ошибок программирования и создание каталога наиболее типичных устойчивых ошибок;
2) исследование метода отладки программ путем поиска конкретных семантических ошибок, взаимосвязи метода с другими спосо-

9) Пользователь должен иметь возможность в любой момент прервать диалог и получить от системы информацию о состоянии отлаживаемой программы и о ходе процесса отладки. Эта информация должна быть достаточно полной для принятия решения о ходе дальнейшей отладки.
10) Язык отладки не должен содержать средств или операторов, комбинация которых может привести к сбоям или даже аварийному прекращению работы системы отладки или операционной системы.
11) Система отладки должна немедленно информировать пользователя в достаточно понятном виде о всех возникающих аварийных ситуациях.
Реализация системы отладки программ методом поиска конкретных ошибок, удовлетворяющая сформулированным требованиям, предъявляемым как к самой системе, так и к отдельным ее наиболее важным функциональным компонентам, позволит использовать все преимущества метода и эффективно вести процесс отладки.
2.5. Предпосылки реализации метода
Как уже было показано, по мере увеличения объема и опыта программирования появились работы, в которых исследовались свойства семантических ошибок программирования. Эти работы, как правило, не были систематическими, носили разнозначный характер, но их можно рассматривать как некоторые предпосылки для создания метода поиска конкретных ошибок. Аналогично, по тем же причинам в отдельных системах отладки были реализованы отдельные функции, которые можно рассматривать как предпосылки систем отладки программ методом поиска конкретных ошибок. Основной целью при создании этих систем не была реализация функций, связанных с поиском конкретных ошибок, однако уже в момент их создания состояние теории и практики отладки программ подталкивало разра-