УДК 6813.06

ISВN 5-283-01628-5

Отладка сложных программ: Методы, средства, технология.

Липаев В. Д.

М.: Энергоатомиздат, 1993

Рассмотрены особенности сложных программ с позиции объектов и процессов тестирования и отладки. Приведены характеристики ошибок. Изложены теоретические основы тестирования программных модулей. Основное внимание направлено на практическую реализацию процессов и методов отладки. Разобраны методы, средства и технология тестирования при комплексной отладке, испытаниях, сертификации и сопровождении сложных программных средств реального времени.
Для программистов всех категорий и инженерно-технических работников, занимающихся разработкой и эксплуатацией программного обеспечения.

СОДЕРЖАНИЕ

Предисловие   3

Глава 1. Сложные программы для ЭВМ как объекты разработки   6

1.1. Особенности и классификация программ как объектов разработки 6
1.2. Принципы современной технологии разработки сложных программных средств 17

Глава 2. Принципы отладки сложных программ   33

2.1. Основные понятия систематической отладки программ   33
2.2. Объекты и виды тестирования сложных программных средств   57
2.3. Ошибки, выявляемые в программах 79

Глава 3. Качество и эффективность отладки сложных программ   98

3.1. Критерии качества отладки программ 98
3.2. Интегральные затраты и факторы, влияющие на технико-экономические
       показатели разработки программ 118
3.3. Затраты на отладку и испытания программ 130
3.4. Снижение затрат на отладку программ и повышение их качества
       путем введения избыточности 144

Глава 4. Методы отладка программных модулей 165

4.1. Проблемы и особенности отладки программных модулей 165
4.2. Отладка модулей без исполнения программ 174
4.3. Тестирование структуры программных модулей 194
4.4. Тестирование обработки данных 227

Глава 5. Средства автоматизации отладки программных модулей 243

5.1. Средства статической отладки программных модулей 243
5.2. Средства автоматизации динамического тестирования программных модулей
258

Глава б. Комплексная отладка сложных программных средств 274

6.1. Методы и стадии комплексной отладки сложных программных средств 274
6.2. Генерирование тестов и обработка результатов при отладке сложных программных средств
289
6.3. Средства обеспечения отладки сложных программ реального времени
307

Глава 7. Тестирование при испытаниях и сертификации сложных программных средств 325

7.1. Тестирование при испытаниях программных средств 325
7.2. Сертификация и аттестация программных средств
338

Глава 8. Отладка при сопровождении и развитии версий программных средств 348

8.1. Принципы сопровождения и конфигурационного управления версиями программных средств 348
8.2. Тестирование при сопровождении и развитии версий программных средств 362

Список литературы 378

ТЕКСТ:
находится в библиотеке Секции открытых систем Совета РАН "Научные телекоммуникации и
информационная инфраструктура"