1-59 Методы проектирования программных систем: Пер. с англ. —М.: Мир, 1985. —328 с., ил.
В книге американского специалиста по обработке данных анализируется процесс проектирования и рассматриваются методы проектирования программных систем. Большое внимание уделено этапу тестирования и оптимизации программ, написанных на языке высокого уровня.
Для системных программистов, инженеров-математиков и системотехников в области САПР.
ПРЕДИСЛОВИЕ РЕДАКТОРА ПЕРЕВОДА
«Еще одно руководство по проектированию программных систем»,— может подумать читатель. С одной стороны, это действительно так. Только в издательстве «Мир> в последние годы вышло несколько книг, посвященных различным вопросам разработки программных систем: структурному программированию, верификации и тестированию программ. Среди них следует выделить несколько очень удачных1'. Но дело в том, что данная монография принципиально отличается от всего того, что было написано до сих пор. В ней излагаются основы методологии проектирования программ, приводится максимально широкий спектр существующих методов и инструментов проектирования, причем охватываются все этапы создания прикладных программных систем, начиная с системного обследования и кончая тестированием и оптимизацией. Впервые совместно анализируются три наиболее распространенных подхода к разработке программного обеспечения: проектирование сверху вниз, снизу вверх и расширение ядра. Хотя выбор метода зависит в основном от характеристик проектируемой системы, показано, как можно на разных этапах использовать различные методы.
Большой интерес, без сомнения, представляет заключительная глава^ книги, где речь идет об оптимизации готовых программ. Автор подчеркивает, что оптимизация возможна на уровне алгоритмов, программных секций и отдельных операторов, и показывает, в каких случаях и на каком уровне ее целесообразно проводить. Причем конкретные методы оптимизации иллюстрируются большим количеством удачных примеров.
Выделим еще один важный момент, на котором следует остановиться,— это подготовка системной документации. К сожалению, в нашей стране этой важной проблеме до сих пор уделяется мало внимания. Например, пакеты прикладных программ сдаются в таком виде, что их эксплуатация и сопровождение чрезвычайно трудоемки. Поэтому предлагаемые практически во
м \\ Хьюз Дж-> Мичтом Дж., Структурный подход к программированию. — т-: Мир, 1980.
Тассел Д. Ван, Стиль, разработка, эффективность, отладка и испытание программ. _М.: Мир, 1981.
ОГЛАВЛЕНИЕ
i
Предисловие редактора перевода .......
Предисловие автора ....... ...
Глава 1. ВВЕДЕНИЕ.........
1.1. Качество программных систем ....
1.2. Постановка задачи.......
1.3. Проектирование системы......
1.4. Вспомогательные средства проектирования .
1.5. Системная документация.....
1.6. Упражнения .........
Глава 2. ПРОЕКТИРОВАНИЕ СИСТЕМ.....
2.1. Определение основных компонентов системы
2.2. Методы разработки данных
2.3. Методы разработки средств управления
2.4. Проектная документация .....
2.5. Упражнения ,........
Глава 3. МЕТОДЫ ОРГАНИЗАЦИИ ДАННЫХ . .
3.1. Типы данных........
3.2. Уровни организации данных ....
3.3. Уровень логической организации данных
! 3.4. Представление данных.....
' 3.5. Физическая организация данных
3.6. Документирование данных.....
; 3.7. Упражнения...........
Глава 4. ПРОЕКТИРОВАНИЕ ПРОГРАММ.....
4.1. Метод нисходящего проектирования ....
4.2. Метод расширения ядра........
4.3. Метод восходящего проектирования ....
4.4. Анализ внутреннего потока данных.....
4.5. Вспомогательные средства проектирования программ
4.6. Программная документация.......
4.7. Упражнения...........
Глава 5. АЛГОРИТМЫ......
5.1. Типы алгоритмов .....
5.2. Способы реализации алгоритмов
5.3. Методы построения алгоритмов
5.4. Документация алгоритмов
5.5. Упражнения .....
Глава 6. ПРОЕКТИРОВАНИЕ МОДУЛЕЙ
6.1. Структурированные алгоритмы
6.2. Схемы передач управления
5 7
10
11
16
19/
25
30
3»
35
35 48 4»
55 56-
57
57 61 65 70 83 98 100
101
10S
' 117 125 126
' 129/ ' 135 '. 137
. 139
139 146
' 154 * 179 '. 179
181
183 193
328 Оглавление
6.3. Управляющие таблицы.......... 203
6.4. Документация модулей.......... 214
6.5. Упражнения............. 216
Глава 7. РЕАЛИЗАЦИЯ ПРОГРАММНОГО МОДУЛЯ .... 217
7.1. Подходы к реализации.......... 217
7.2. Реализация данных........... 220
7.3. Реализация ввода-вывода......... 224
7.4. Реализация управления.......... 228
7.5. Сложность программы.......... 240
7.6. Оформление программы.......... 244
7.7. Вспомогательные средства, используемые при реализации 248
7.8. Упражнения............. 251
Глава 8. ПРОВЕРКА ПРАВИЛЬНОСТИ ПРОГРАММ . , . . . . 253
8.1. Обнаружение ошибок.......... 253
8.2. Тестирование модулей.......... 268
8.3. Формальные методы доказательства правильности программ............... 276
8.4. Оценки ошибок............ 283
8.5. Средства защиты программных систем...... 286
8.6. Качество документации .......... 291
8.7. Упражнения............. 291
Глава 9. ОПТИМИЗАЦИЯ ПРОГРАММ ........ 293
9.1. Экономия памяти ........... 294
9.2. Экономия времени........... 301
9.3. Повышение эффективности программ...... 303
9.4. Средства оптимизации.......... 314
9.5. Документирование показателей эффективности программы 315
9.6. Упражнения............. 316
Список терминов............. 317
Литература.............. 321
Предметный указатель............ 324
Цена: 150руб.
