- •Е.А.Жоголев
- •Технология программирования
- •Конспект лекций
- •Содержание
- •Введение
- •Лекция 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.
12.4. Обеспечение сопровождаемости.
С-документированность, информативность и понятность определяют состав и качество документации по сопровождению (см. следующую лекцию). Кроме того, относительно текстов программ (модулей) можно сделать следующие рекомендации.
-
используйте в тексте модуля комментарии, проясняющие и объясняющие особенности принимаемых решений; по-возможности, включайте комментарии (хотя бы в краткой форме) на самой ранней стадии разработки текста модуля [12.3];
-
используйте осмысленные (мнемонические) и устойчиво различимые имена (оптимальная длина имени - 4-12 литер, цифры - в конце), не используйте сходные имена и ключевые слова [12.2, 12.3];
-
соблюдайте осторожность в использовании констант (уникальная константа должна иметь единственное вхождение в текст модуля: при ее объявлении или, в крайнем случае, при инициализации переменной в качестве константы [12.2]);
-
не бойтесь использовать не обязательные скобки (скобки обходятся дешевле, чем ошибки [12.3 ];
-
размещайте не больше одного оператора в строке; для прояснения структуры модуля используйте дополнительные пробелы (отступы) в начале каждой строки [12.2, 12.3];
-
избегайте трюков, т.е. таких приемов программирования, когда создаются фрагменты модуля, основной эффект которых не очевиден или скрыт (завуалирован), например, побочные эффекты функций [12.2].
Расширяемость обеспечивается созданием подходящего инсталятора.
Структурированность и модульность упрощают как понимание текстов программ, так и их модификацию.
......
12.5. Обеспечение мобильности.
. . .
Литература к лекции 12.
12.1. Ian Sommerville. Software Engineering. - Addison-Wesley Publishing Company, 1992. P.
12.2. Г.Майерс. Надежность программного обеспечения. - М.: Мир, 1980. С. 127-154.
12.3. Д.Ван Тассел. Стиль, разработка, эффективность, отладка и испытание программ. - М.: Мир, 1985. С. 8-44, 117-178.
12.4. Документация пользователя программного обеспечения/Стандарт ANSI/IEEE 1063-1987.
|
Ощущенеие сокрального порождается сальвационистским импульсом, что подразумевает наличие метафор экзистенции, могущих быть сопряженными с катарсической ролью искусства. |
|
Сергей Безека |
Лекция 13. Документирование программных средств
13.1. Документация, создаваемая в процессе разработки программных средств.
При разработке ПС создается большой объем разнообразной документации. Она необходима как средство передачи информации между разработчиками ПС, как средство управления разработкой ПС и как средство передачи пользователям информации, необходимой для применения и сопровождения ПС. На создание этой документации приходится большая доля стоимости ПС.
Эту документацию можно разбить на две группы [13.1]:
-
Документы управления разработкой ПС.
-
Документы, входящие в состав ПС.
Документы управления разработкой ПС (process documentation), протоколируют процессы разработки и сопровождения ПС, обеспечивая связи внутри коллектива разработчиков и между коллективом разработчиков и менеджерами (managers) - лицами, управляющими разработкой. Эти документы могут быть следующих типов [13.1]:
-
Планы, оценки, расписания. Эти документы создаются менеджерами для прогнозирования и управления процессами разработки и сопровождения.
-
Отчеты об использовании ресурсов в процессе разработки. Создаются менеджерами.
-
Стандарты. Эти документы предписывают разработчикам, каким принципам, правилам, соглашениям они должны следовать в процессе разработки ПС. Эти стандарты могут быть как международными или национальными, так и специально созданными для организации, в которой ведется разработка данного ПС.
-
Рабочие документы. Это основные технические документы, обеспечивающие связь между разработчиками. Они содержат фиксацию идей и проблем, возникающих в процессе разработки, описание используемых стратегий и подходов, а также рабочие (временные) версии документов, которые должны войти в ПС.
-
Заметки и переписка. Эти документы фиксируют различные детали взаимодействия между менеджерами и разработчиками.
Документы, входящие в состав ПС (product documentation), описывают программы ПС как с точки зрения их применения пользователями, так и с точки зрения их разработчиков и сопроводителей (в соответствии с назначением ПС). Здесь следует отметить, что эти документы будут использоваться не только на стадии эксплуатации ПС (в ее фазах применения и сопровождения), но и на стадии разработки для управления процессом разработки (вместе с рабочими документами) - во всяком случае они должны быть проверены (протестированы) на соответствие программам ПС. Эти документы образуют два комплекта с разным назначением:
-
Пользовательская документация ПС (П-документация).
-
Документация по сопровождению ПС (С-документация).