Технология программирования

ГЛАВА 1. НАДЕЖНОЕ ПРОГРАММНОЕ СРЕДСТВО КАК ПРОДУКТ ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ. ИСТОРИЧЕСКИЙ И СОЦИАЛЬНЫЙ КОНТЕКСТ ПРОГРАММИРОВАНИЯ 7

1.1 Программа как формализованное описание процесса обработки данных. Программное средство 7

1.2 Неконструктивность понятия правильной программы 9

1.3 Надежность программного средства 10

1.4 Технология программирования как технология разработки надежных программных средств 10

1.5 Технология программирования и информатизация общества 12

ГЛАВА 2. ИСТОЧНИКИ ОШИБОК В ПРОГРАММНЫХ СРЕДСТВАХ 15

2.1 Интеллектуальные возможности человека 15

2.2 Неправильный перевод как причина ошибок в программных средствах 17

2.3 Модель перевода 19

2.4 Основные пути борьбы с ошибками 20

ГЛАВА 3. ОБЩИЕ ПРИНЦИПЫ РАЗРАБОТКИ ПРОГРАММНЫХ СРЕДСТВ 21

3.1 Специфика разработки программных средств 21

3.2 Жизненный цикл программного средства 22

3.3 Понятие качества программного средства 26

3.4 Обеспечение надежности - основной мотив разработки программных средств 27

3.5 Методы борьбы со сложностью 29

3.6 Обеспечение точности перевода 29

3.7 Преодоление барьера между пользователем и разработчиком 30

3.8 Контроль принимаемых решений 30

ГЛАВА 4. ВНЕШНЕЕ ОПИСАНИЕ ПРОГРАММНОГО СРЕДСТВА 31

4.1 Назначение внешнего описания программного средства и его роль в обеспечении качества программного средства 31

4.2 Определение требований к программному средству 34

4.3 Спецификация качества программного средства 36

4.4 Функциональная спецификация программного средства 39

4.5 Методы контроля внешнего описания программного средства 41

ГЛАВА 5. АРХИТЕКТУРА ПРОГРАММНОГО СРЕДСТВА 42

5.1 Понятие архитектуры программного средства 42

5.2 Основные классы архитектур программных средств 43

5.3 Архитектурные функции 47

5.4 Контроль архитектуры программных средств 48

ГЛАВА 6. РАЗРАБОТКА СТРУКТУРЫ ПРОГРАММЫ И МОДУЛЬНОЕ ПРОГРАММИРОВАНИЕ 49

6.1 Цель модульного программирования 49

6.2 Основные характеристики программного модуля 50

6.3 Методы разработки структуры программы 53

6.4 Контроль структуры программы 63

ГЛАВА 7. РАЗРАБОТКА ПРОГРАММНОГО МОДУЛЯ 64

7.1 Порядок разработки программного модуля 64

7.2 Структурное программирование 66

7.3 Пошаговая детализация и понятие о псевдокоде 68

7.4 Контроль программного модуля 73

ГЛАВА 8. ТЕСТИРОВАНИЕ И ОТЛАДКА ПРОГРАММНОГО СРЕДСТВА 74

8.1 Основные понятия 74

8.2 Принципы и виды отладки программного средства 75

8.3 Заповеди отладки программного средства 77

8.4 Автономная отладка программного средства 78

8.5 Комплексная отладка программного средства 83

ГЛАВА 9. ОБЕСПЕЧЕНИЕ ФУНКЦИОНАЛЬНОСТИ И НАДЕЖНОСТИ ПРОГРАММНОГО СРЕДСТВА 86

9.1 Функциональность и надежность как обязательные критерии качества программного средства 86

9.2 Обеспечение завершенности программного средства 87

9.3 Обеспечение точности программного средства 88

9.4 Обеспечение автономности программного средства 89

9.5 Обеспечение устойчивости программного средства 90

9.6 Обеспечение защищенности программных средств 91

ГЛАВА 10. ОБЕСПЕЧЕНИЕ КАЧЕСТВА ПРОГРАММНОГО СРЕДСТВА 98

10.1 Общая характеристика процесса обеспечения качества программного средства 98

10.2 Обеспечение легкости применения программного средства 100

10.3 Обеспечение эффективности программного средства 103

10.4 Обеспечение сопровождаемости программного средства 104

10.5 Обеспечение мобильности 107

ГЛАВА 11. ДОКУМЕНТИРОВАНИЕ ПРОГРАММНЫХ СРЕДСТВ 109

11.1 Документация, создаваемая и используемая в процессе разработки программных средств 109

11.2 Пользовательская документация программных средств 111

11.3 Документация по сопровождению программных средств 113

ГЛАВА 12. УПРАВЛЕНИЕ РАЗРАБОТКОЙ И АТТЕСТАЦИЯ ПРОГРАММНОГО СРЕДСТВА 115

12.1 Назначение и процессы управления разработкой программного средства 115

12.2 Структура управления разработкой программных средств 117

12.3 Планирование и составление расписаний по разработке ПС 123

12.4 Аттестации программного средства 125

Список использованной литературы 129