- •1. Программное средство как продукт технологии программирования
- •1.1. Программа как формализованное описание процесса обработки данных. Программное средство.
- •1.2. Неконструктивность понятия правильной программы.
- •1.3. Надежность программного средства.
- •1.4. Технология программирования как технология разработки надежных программных средств
- •1.5. Технология программирования и информатизация общества.
- •2. Источники ошибок в программных средствах
- •2.1. Интеллектуальные возможности человека.
- •2.3. Модель перевода.
- •2.2. Неправильный перевод как причина ошибок в программных средствах.
- •2.4. Основные пути борьбы с ошибками.
- •3. Общие принципы разработки программных средств
- •3.1. Специфика разработки программных средств.
- •3.2. Жизненный цикл программного средства.
- •3.3. Понятие качества программного средства.
- •3.4. Обеспечение надежности - основной мотив разработки программных средств.
- •3.5. Методы борьбы со сложностью.
- •3.6. Обеспечение точности перевода.
- •3.7. Преодоление барьера между пользователем и разработчиком.
- •3.8. Контроль принимаемых решений.
- •4. Внешнее описание программного средства
- •4.1. Назначение внешнего описания программного средства и его роль в обеспечении качества программного средства.
- •4.2. Определение требований к программному средству.
- •4.3. Спецификация качества программного средства.
- •4.4. Функциональная спецификация программного средства.
- •4.5. Методы контроля внешнего описания программного средства.
- •5. Методы спецификации семантики функций
- •5.1. Основные подходы к спецификации семантики функций.
- •5.2. Метод таблиц решений.
- •5.3. Операционная семантика.
- •5.4. Денотационная семантика.
- •5.5. Аксиоматическая семантика.
- •5.6. Языки спецификаций.
- •6. Архитектура программного средства
- •6.1. Понятие архитектуры программного средства.
- •6.2. Основные классы архитектур программных средств.
- •6.3. Архитектурные функции.
- •6.4. Контроль архитектуры программных средств.
- •7. Разработка структуры программы и модульное программирование
- •7.1. Цель модульного программирования.
- •7.2. Основные характеристики программного модуля.
- •7.3. Методы разработки структуры программы.
- •7.4. Контроль структуры программы.
- •8. Разработка программного модуля
- •8.1. Порядок разработки программного модуля.
- •8.2. Структурное программирование.
- •8.3. Пошаговая детализация и понятие о псевдокоде.
- •8.4. Контроль программного модуля.
- •9. Доказательство свойств программ
- •9.1. Обоснования программ. Формализация свойств программ.
- •9.2. Свойства простых операторов.
- •9.3. Свойства основных конструкций структурного программирования.
- •9.4. Завершимость выполнения программы.
- •9.5. Пример доказательства свойства программы.
- •10. Тестирование и отладка программного средства
- •10.1. Основные понятия.
- •10.2. Принципы и виды отладки.
- •10.3. Заповеди отладки.
- •10.4. Автономная отладка модуля.
- •10.5. Комплексная отладка программного средства.
- •11. Обеспечение функциональности и надежности программного средства
- •11.1. Функциональность и надежность как обязательные критерии качества программного средства.
- •11.2. Обеспечение завершенности программного средства.
- •11.3. Обеспечение точности программного средства.
- •11.4. Обеспечение автономности программного средства.
- •11.5. Обеспечение устойчивости программного средства.
- •11.6. Обеспечение защищенности программных средств.
- •12. Обеспечение качества программного средства
- •12.1. Общая характеристика процесса обеспечения качества программного средства.
- •12.2. Обеспечение легкости применения программного средства.
- •12.3. Обеспечение эффективности программного средства.
- •12.4. Обеспечение сопровождаемости.
- •13. Документирование программных средств
- •13.1. Документация, создаваемая в процессе разработки программных средств.
- •13.2. Пользовательская документация программных средств.
- •13.3. Документация по сопровождению программных средств.
- •14. Аттестация программного средства
- •14.1. Назначение аттестации программного средства.
- •14.2. Виды испытаний программного средства.
- •14.3. Методы оценки качества программного средства.
- •15. Оъектный подход к разработке программных средств
- •15.1. Объекты и отношения в программировании. Сущность объектного подхода к разработке программных средств.
- •15.2. Объектный и субъектный подходы к разработке программных средств.
- •15.3. Объектный подход к разработке внешнего описания и архитектуры программного средства.
- •16. Компьютерная поддержка разработки и сопровождения программных средств
- •16.1. Инструменты разработки программных средств.
- •16.2. Инструментальные среды разработки и сопровождения программных средств.
- •16.3. Инструментальные среды программирования.
- •16.4. Понятие компьютерной технологии разработки программных средств и ее рабочие места.
- •16.5. Инструментальные системы технологии программирования.
12.4. Обеспечение сопровождаемости.
С-документированность, информативность и понятность определяют состав и качество документации по сопровождению (см. следующую лекцию). Кроме того, относительно текстов программ (модулей) можно сделать следующие рекомендации.
· используйте в тексте модуля комментарии, проясняющие и объясняющие особенности принимаемых решений; по-возможности, включайте комментарии (хотя бы в краткой форме) на самой ранней стадии разработки текста модуля [12.3];
· используйте осмысленные (мнемонические) и устойчиво различимые имена (оптимальная длина имени - 4-12 литер, цифры - в конце), не используйте сходные имена и ключевые слова [12.2, 12.3];
· соблюдайте осторожность в использовании констант (уникальная константа должна иметь единственное вхождение в текст модуля: при ее объявлении или, в крайнем случае, при инициализации переменной в качестве константы [12.2]);
· не бойтесь использовать не обязательные скобки (скобки обходятся дешевле, чем ошибки [12.3 ];
· размещайте не больше одного оператора в строке; для прояснения структуры модуля используйте дополнительные пробелы (отступы) в начале каждой строки [12.2, 12.3];
· избегайте трюков, т.е. таких приемов программирования, когда создаются фрагменты модуля, основной эффект которых не очевиден или скрыт (завуалирован), например, побочные эффекты функций [12.2].
Расширяемость обеспечивается созданием подходящего инсталятора.
Структурированность и модульность упрощают как понимание текстов программ, так и их модификацию.
13. Документирование программных средств
13.1. Документация, создаваемая в процессе разработки программных средств.
При разработке ПС создается большой объем разнообразной документации. Она необходима как средство передачи информации между разработчиками ПС, как средство управления разработкой ПС и как средство передачи пользователям информации, необходимой для применения и сопровождения ПС. На создание этой документации приходится большая доля стоимости ПС.
Эту документацию можно разбить на две группы [13.1]:
· Документы управления разработкой ПС.
· Документы, входящие в состав ПС.
Документы управления разработкой ПС (process documentation), протоколируют процессы разработки и сопровождения ПС, обеспечивая связи внутри коллектива разработчиков и между коллективом разработчиков и менеджерами (managers) - лицами, управляющими разработкой. Эти документы могут быть следующих типов [13.1]:
· Планы, оценки, расписания. Эти документы создаются менеджерами для прогнозирования и управления процессами разработки и сопровождения.
· Отчеты об использовании ресурсов в процессе разработки. Создаются менеджерами.
· Стандарты. Эти документы предписывают разработчикам, каким принципам, правилам, соглашениям они должны следовать в процессе разработки ПС. Эти стандарты могут быть как международными или национальными, так и специально созданными для организации, в которой ведется разработка данного ПС.
· Рабочие документы. Это основные технические документы, обеспечивающие связь между разработчиками. Они содержат фиксацию идей и проблем, возникающих в процессе разработки, описание используемых стратегий и подходов, а также рабочие (временные) версии документов, которые должны войти в ПС.
· Заметки и переписка. Эти документы фиксируют различные детали взаимодействия между менеджерами и разработчиками.
Документы, входящие в состав ПС (product documentation), описывают программы ПС как с точки зрения их применения пользователями, так и с точки зрения их разработчиков и сопроводителей (в соответствии с назначением ПС). Здесь следует отметить, что эти документы будут использоваться не только на стадии эксплуатации ПС (в ее фазах применения и сопровождения), но и на стадии разработки для управления процессом разработки (вместе с рабочими документами) - во всяком случае они должны быть проверены (протестированы) на соответствие программам ПС. Эти документы образуют два комплекта с разным назначением:
· Пользовательская документация ПС (П-документация).
· Документация по сопровождению ПС (С-документация).
