- •Е.А.Жоголев
- •Технология программирования
- •Конспект лекций
- •Содержание
- •Введение
- •Лекция 1 надежное программное средство как продукт технологии программирования. Исторический и социальный контекст программирования
- •1.1. Программа как формализованное описание процесса обработки данных. Программное средство
- •1.2. Неконструктивность понятия правильной программы
- •1.3. Надежность программного средства
- •1.4. Технология программирования как технология разработки надежных программных средств
- •1.5. Технология программирования и информатизация общества
- •Литература к лекции 1
- •Лекция 2 источники ошибок в программных средствах
- •2.1. Интеллектуальные возможности человека
- •2.2. Неправильный перевод как причина ошибок в программных средствах
- •2.3. Модель перевода
- •2.4. Основные пути борьбы с ошибками
- •Литература к лекции 2
- •Лекция 3 общие принципы разработки программных средств
- •3.1. Специфика разработки программных средств
- •3.2. Жизненный цикл программного средства
- •3.3. Понятие качества программного средства
- •3.4. Обеспечение надежности - основной мотив разработки программных средств
- •3.5. Методы борьбы со сложностью
- •3.6. Обеспечение точности перевода
- •3.7. Преодоление барьера между пользователем и разработчиком
- •3.8. Контроль принимаемых решений
- •Литература к лекции 3
- •Лекция 4 внешнее описание программного средства
- •4.1. Назначение внешнего описания программного средства и его роль в обеспечении качества программного средства
- •4.2. Определение требований к программному средству
- •4.3. Спецификация качества программного средства
- •4.4. Функциональная спецификация программного средства
- •4.5. Методы контроля внешнего описания программного средства
- •Литература к лекции 4
- •Лекция 5 методы спецификации семантики функций
- •5.1. Основные подходы к спецификации семантики функций
- •5.2. Метод таблиц решений
- •5.3. Операционная семантика
- •5.4. Денотационная семантика
- •5.5. Аксиоматическая семантика
- •5.6. Языки спецификаций.
- •Литература к лекции 5.
- •Лекция 6. Архитектура программного средства
- •6.1. Понятие архитектуры программного средства.
- •6.2. Основные классы архитектур программных средств.
- •6.3. Архитектурные функции.
- •6.4. Контроль архитектуры программных средств.
- •Литература к лекции 6.
- •Лекция 7. Разработка структуры программы и модульное программирование
- •7.1. Цель модульного программирования.
- •7.2. Основные характеристики программного модуля.
- •7.3. Методы разработки структуры программы.
- •7.4. Контроль структуры программы.
- •Литература к лекции 7.
- •Лекция 8. Разработка программного модуля
- •8.1. Порядок разработки программного модуля.
- •8.2. Структурное программирование.
- •8.3. Пошаговая детализация и понятие о псевдокоде.
- •8.4. Контроль программного модуля.
- •Литература к лекции 8.
- •Лекция 9. Доказательство свойств программ
- •9.1. Обоснования программ. Формализация свойств программ.
- •9.2. Свойства простых операторов.
- •9.3. Свойства основных конструкций структурного программирования.
- •9.4. Завершимость выполнения программы.
- •9.5. Пример доказательства свойства программы.
- •Литература к лекции 9.
- •Лекция 10. Тестирование и отладка программного средства
- •10.1. Основные понятия.
- •10.2. Принципы и виды отладки.
- •10.3. Заповеди отладки.
- •10.4. Автономная отладка модуля.
- •10.5. Комплексная отладка программного средства.
- •Литература к лекции 10.
- •Лекция 11. Обеспечение функциональности и надежности программного средства
- •11.1. Функциональность и надежность как обязательные критерии качества программного средства.
- •11.2. Обеспечение завершенности программного средства.
- •11.3. Обеспечение точности программного средства.
- •11.4. Обеспечение автономности программного средства.
- •11.5. Обеспечение устойчивости программного средства.
- •11.6. Обеспечение защищенности программных средств.
- •Литература к лекции 11.
- •Лекция 12. Обеспечение качества программного средства
- •12.1. Общая характеристика процесса обеспечения качества программного средства.
- •12.2. Обеспечение легкости применения программного средства.
- •12.3. Обеспечение эффективности программного средства.
- •12.4. Обеспечение сопровождаемости.
- •12.5. Обеспечение мобильности.
- •Литература к лекции 12.
- •Лекция 13. Документирование программных средств
- •13.1. Документация, создаваемая в процессе разработки программных средств.
- •13.2. Пользовательская документация программных средств.
- •13.3. Документация по сопровождению программных средств.
- •Литература к лекции 13.
- •Лекция 14. Аттестация программного средства
- •14.1. Назначение аттестации программного средства.
- •14.2. Виды испытаний программного средства.
- •14.3. Методы оценки качества программного средства.
- •Литература к лекции 14.
- •Лекция 15. Оъектный подход к разработке программных средств
- •15.1. Объекты и отношения в программировании. Сущность объектного подхода к разработке программных средств.
- •15.2. Объекты и субъекты в программировании.
- •15.3. Объектный и субъектный подходы к разработке программных средств.
- •15.4. Объектный подход к разработке внешнего описания и архитектуры программного средства.
- •13.5. Особенности объектно-ориентированного программирования.
- •Литература к лекции 15.
- •Лекция 16. Компьютерная поддержка разработки и сопровождения программных средств
- •16.1. Инструменты разработки программных средств.
- •16.2. Инструментальные среды разработки и сопровождения программных средств.
- •16.3. Инструментальные среды программирования.
- •16.4. Понятие компьютерной технологии разработки программных средств и ее рабочие места.
- •16.5. Инструментальные системы технологии программирования.
- •Литература к лекции 16.
Литература к лекции 1
-
И.Г.Гоулд, Дж.С.Тутилл. Терминологическая работа IFIP (Международная федерация по обработке информации) и ICC (Международный вычислительный центр)// Журн. вычисл. матем. и матем. физ., 1965, #2. - С. 377-386.
-
Г.Майерс. Надежность программного обеспечения. - М.: Мир, 1980.
-
Ian Sommerville. Software Engineering. - Addison-Wesley Publishing Company, 1992. - P.
-
Э. Дейкстра. Заметки по структурному программированию// У. Дал, Э. Дейкстра, К. Хоор. Структурное программирование. - М.: Мир, 1975. - С. 7-97.
-
Criteria for Evalution of Software. - ISO TC97/SC7 #367 (Supersedes Document #327).
-
С.И. Ожегов. Словарь русского языка. - М.: Советская энциклопедия, 1975.
-
Ф.Я. Дзержинский, И.М. Калиниченко. Дисциплина программирования Д: концепция и опыт реализации методических средств программной инженерии. - М.: ЦНИИ информации и технико-экономических исследований по атомной науке и технике, 1988. - С. 9-16.
-
В. Турский. Методология программирования. - М.: Мир, 1981.
-
Г. Буч. Объектно-ориентированное проектирование с примерами применения: пер. с англ. - М.: Конкорд, 1992.
-
Е.А. Жоголев. Система программирования с использованием библиотеки подпрограмм// Система автоматизация программирования. - М.: Физматгиз, 1961. С. 15-52.
-
Ф.П. Брукс, мл. Как проектируются и создаются программные комплексы/ Пер. с англ. А.П. Ершова. - М.: Наука, 1979.
-
R.C. Holt. Structure of Computer Programs: A Survey// Proceedings of the IEEE, 1975, 63(6). - P. 879-893.
-
Дж. Хьюз, Дж. Мичтом. Структурный подход к программированию. М.: Мир, 1980.
-
Е.А. Жоголев. Технологические основы модульного программирования//Программирование, 1980, #2. - С. 44-49.
-
Б. Боэм, Дж. Браун, Х. Каспар и др. Характеристики качества программного обеспечения. - М.: Мир, 1981.
-
В.В. Липаев. Качество программного обеспечения. - М.: Финансы и статистика, 1983.
-
Б. Шнейдерман. Психология программирования. - М.: Радио и связь, 1984.
-
Revised version of DP9126 - Criteria of the Evaluation of Software Quality Characteristics. ISO TC97/SC7 #610. - Part 6.
-
В.Ш. Кауфман. Языки программирования. Концепции и принципы. М.: Радио и связь, 1993.
-
Требования и спецификации в разработке программ: пер. с англ. - М.: Мир, 1984.
-
В.Н. Агафонов. Спецификация программ: понятийные средства и их организация. - Новосибирск: Наука (Сибирское отделение), 1987.
Лекция 2 источники ошибок в программных средствах
Интеллектуальные возможности человека, используемые при разработке программных систем. Понятия о простых и сложных системах, о малых и больших системах. Неправильный перевод информации из одного представления в другое - основная причина ошибок при разработке программных средств. Модель перевода и источники ошибок.