
- •1. Место проектирования и программирования модулей в обеспечении надежности информационных систем
- •Проектирование программных модулей.
- •Защитное программирование
- •Контроль входных данных
- •Контроль промежуточных данных
- •4. Практические рекомендации по надежному программированию
- •4.1 О структурном программировании
- •4.2 Работа с данными
- •4.3 Правила хорошего тона составления
- •4.4 Комментарии
- •4.5 Микроэффективность
- •Тестирование модулей
- •5.1 Идеология тестирования
- •5.2 Аксиомы тестирования
- •5.3 Методы тестирования
- •Литература
Литература
Гласс Р. Руководство по надежному программированию./ Пер. с англ. М.: Мир, 1981. – 382с.
Джонстон Р. Учитесь программировать. / Пер.с англ. М.: Финансы и статистика , 1989. – 368с.
Информатика: учебник /Под ред. Н.В. Макаровой. – М.: Финансы и статистика, 1999. – 768с.
Кнут Д. Искусство программирования для ЭВМ /Пер. с англ Т1. Основные алгоритмы. М.: Мир, 1976. – 735с. ; Т2. Получисленные алгоритмы. М.: Мир, 1977. – 724с.
Липаев В.В. Проектирование программных средств. М.: Выс.шк., 1990. – 303с.
Липский В. Комбинаторика для программистов /Пер. с польск. М.: Мир, 1988. – 213 с.
Майерс Г. Надежность ПО. / Пер. с англ. М.: Мир, 1980. – 360с.
Разработка САПР: в 10 кн. Кн.3: Федоров В.С., Гуляев Н.Б. Проектирование программного обеспечения САПР. М.: Высш. шк., 1990. – 159с.
Методические указания к практическим занятиям
по курсу «Надежность информационных систем»
для студентов дневного обучения
Составители: Бугаев Юрий Владимирович,
Полушина Ольга Львовна
Редактор Н.А. Сотникова
Корректор Н.В. Бургонова
Подписано в печать . . . Формат 60x90 1/16.
Бумага для множительных аппаратов, офсетная печать.
Усл. п.л. 1,75. Уч. - изд. л.1,5. Тираж 100 экз.
Изд. N 24. Заказ 362. Бесплатно.