Главная Теоретический материал Лабораторные работы Задачи Тесты Контакты

Узбекское Агентство
Связи и Информатизации



Ташкентский Университет Информационных Технологий


Кафедра
«Программное обеспечение информационных технологий»

Направления:

5521900Информатика и
информационные технологии,
5523500Защита информации,
5523600Электронная коммерция,
5811200Сервис (информационный сервис),
5811300Сервис (электронные и
компьютерные технологии),
5320200Информатика и
библиотековедение,
5140900Профессиональное образование
(по направлению
информатика и
информационные технологии).


Преподаватель дисциплины



Доцент
Чернев Дмитрий Алексеевич

Система автоматизации отладки программного обеспечения

Поиск некоторых ошибок, содержащихся в структуре данных и, в особенности, в логической структуре программы, можно автоматизировать. Автоматизированный анализ программы на предмет выявления ошибок в ней производится без ее выпол­нения на ЭВМ и поэтому попадает в категорию «статических».

Система автоматизации отладки программного обеспечения (САО ПО) представляет собой совокупность программных средств, предназначенных для автоматизации процессов уста­новления факта правильности функционирования разработанных программных изделий, а также для обнаружения, локализации и устранения ошибок в алгоритмах и программах. САО ПО выполняет следующие функции:

- контроль правильности тестов и заданий на отладку, составленных на входных языках отладки, и выдача информации о месте и характере ошибок;

-   выполнение отладочных заданий при помощи системы трансляции заданий, тестов и их исполнения;

-   моделирование и интерпретация системы команд управ­ляющей ЭВМ в тех случаях, когда отладка программного обес­печения выполняется на вычислительной машине с иной системой команд;

-   выдача оператору результатов отладки и необходимых про­ме­жу­точных данных на языке отладки после их предва­рительной обработки;

- корректировка отлаживаемой программы по заданию опе­ратора с целью исправления обнаруженных ошибок.

Ниже перечислены примеры ошибок, которые можно обна­ружить  автоматизирующими анализаторами программ.

1. Переменные не описаны или описаны неправильно.

2. Переменные используются прежде, чем им было присвоено значение, или присвоенное значение никогда не используется.

3. Используются недопустимые языковые формы (например, арифметика с разнотипными переменными).

4. Нарушение соглашений о наименованиях (переменных, подпрограмм, меток операторов...).

5. Переусложненная структура (циклы или условные опе­раторы слишком глубоко или неправильно вложены).

6. Проверка аргументов подпрограммы (соответствие фор­мального и фактического значений).

7.   Противоречия  в  дереве  вызываемых  подпрограмм (не пре­дусмотренные  циклы).

8. Противоречивость набора глобальных данных (общих блоков).

9. Невыполнимые условия.

10. Потеря управления (например, оператором GO TO пере­ дано управление на несуществующий оператор).

11. Незамкнутая логика.

12. Ошибочная логика (например, потенциально бесконечные циклы).


Назад


Главная Теоретический материал Лабораторные работы Тесты Контакты