- •Лекции по технологии программирования содержание
- •Лекция 1. Надежное программное средство как продукт технологии программирования. Исторический и социальный контекст программирования
- •1.1. Программа как формализованное описание процесса обработки данных. Программное средство
- •1.2. Неконструктивность понятия правильной программы
- •1.3. Надежность программного средства
- •1.4. Технология программирования как технология разработки надежных программных средств.
- •1.5. Технология программирования и информатизация общества
- •Лекция 2. Источники ошибок в программных средствах
- •2.1. Интеллектуальные возможности человека.
- •2.2. Неправильный перевод как причина ошибок в программных средствах
- •2.3. Модель перевода
- •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. Обеспечение сопровождаемости программного средства
- •12.5. Обеспечение мобильности
- •Лекция 13 документирование программных средств
- •13.1. Документация, создаваемая и используемая в процессе разработки программных средств
- •13.2. Пользовательская документация программных средств
- •13.3. Документация по сопровождению программных средств
- •Лекция 14. Управление разработкой и аттестация программного средства
- •14.1. Назначение и процессы управления разработкой программного средства
- •14.2. Структура управления разработкой программных средств
- •14.3. Планирование и составление расписаний по разработке пс
- •Все если
- •14.4 Аттестации программного средства
- •Лекция 15. Оъектный подход к разработке программных средств
- •15.1. Объекты и отношения в программировании. Сущность объектного подхода к разработке программных средств
- •15.2. Особенности объектного подхода к разработке внешнего описания программного средства
- •15.3. Особенности объектного подхода на этапе конструирования программного средства
- •Лекция 16. Компьютерная поддержка разработки и сопровождения программных средств
- •16.1. Инструменты разработки программных средств
- •16.2. Инструментальные среды разработки и сопровождения программных средств и принципы их классификации
- •16.3. Основные классы инструментальных сред разработки и сопровождения программных средств
- •16.3. Инструментальные среды программирования
- •16.4. Понятие компьютерной технологии разработки программных средств и ее рабочие места
- •16.5. Инструментальные системы технологии программирования
- •Вопросы к письменному экзамену по курсу "технология программирования" Вопросы типа меню
- •Понятие качества программного средства.
- •Понятие архитектуры программного средства.
- •Основные вопросы
16.3. Основные классы инструментальных сред разработки и сопровождения программных средств
В настоящее время выделяют [16.1] три основных класса инструментальных сред разработки и сопровождения ПС (рис. 16.1):
-
инструментальные среды программирования,
-
рабочие места компьютерной технологии,
-
инструментальные системы технологии программирования.
Рис. 16.1. Основные классы инструментальных сред разработки и сопровождения ПС.
Инструментальная среда программирования предназначена в основном для поддержки процессов программирования (кодирования), тестирования и отладки ПС. Она не обладает рассмотренными выше свойствами комплексности, ориентированности на конкретную технологию программирования, ориентированности на коллективную разработку и, как правило, свойством интегрированности, хотя имеется некоторая тенденция к созданию интегрированных сред программирования (в этом случае их следовало бы называть системами программирования). Иногда среда программирования может обладать свойством специализированности. Признак же ориентированности на конкретный язык программирования может иметь разные значения, что существенно используется для дальнейшей классификации сред программирования.
Рабочее место компьютерной технологии ориентировано на поддержку ранних этапов разработки ПС (системного анализа и спецификаций) и автоматической генерации программ по спецификациям [16.1, 16.4]. Оно существенно использует свойства специализированности, ориентированности на конкретную технологию программирования и, как правило, интегрированности. Более поздние рабочие места компьютерной технологии обладают также свойством комплексности ([16.4]). Что же касается языковой ориентированности, то вместо языков программирования они ориентированы на те или иные формальные языки спецификаций. Свойством ориентированности на коллективную разработку указанные рабочие места в настоящее время, как правило, не обладают.
Инструментальная система технологии программирования предназначена для поддержки всех процессов разработки и сопровождения в течение всего жизненного цикла ПС и ориентирована на коллективную разработку больших программных систем с продолжительным жизненным циклом. Обязательными свойствами ее являются комплексность, ориентированность на коллективную разработку и интегрированность. Кроме того, она или обладает технологической определенностью или получает это свойство в процессе расширения (настройки). Значение признака языковой ориентированности может быть различным, что используется для дальнейшей классификации этих систем.
16.3. Инструментальные среды программирования
Инструментальная среда программирования включает, прежде всего, текстовый редактор, позволяющий конструировать программы на заданном языке программирования, а также инструменты, позволяющие компилировать или интерпретировать программы на этом языке, тестировать и отлаживать полученные программы. Кроме того, могут быть и другие инструменты, например, для статического или динамического анализа программ. Взаимодействуют эти инструменты между собой через обычные файлы с помощью стандартных возможностей файловой системы.
Различают следующие классы инструментальных сред программирования (см. рис. 16.2):
-
среды общего назначения,
-
языково-ориентированные среды.
Инструментальные среды программирования общего назначения содержат набор программных инструментов, поддерживающих разработку программ на разных языках программирования (например, текстовый редактор, редактор связей или интерпретатор языка целевого компьютера) и обычно представляют собой некоторое расширение возможностей используемой операционной системы. Для программирования в такой среде на каком-либо языке программирования потребуются дополнительные инструменты, ориентированные на этот язык (например, компилятор).
Рис.16.2. Классификация инструментальных сред программирования.
Языково-ориентированная инструментальная среда программирования предназначена для поддержки разработки ПС на каком-либо одном языке программирования и знания об этом языке существенно использовались при построении такой среды. Вследствие этого в такой среде могут быть доступны достаточно мощные возможности, учитывающие специфику данного языка. Такие среды разделяются на два подкласса:
-
интерпретирующие среды,
-
синтаксически-управляемые среды.
Интерпретирующая инструментальная среда программирования обеспечивает интерпретацию программ на данном языке программирования, т.е. содержит, прежде всего, интерпретатор языка программирования, на который эта среда ориентирована. Такая среда необходима для языков программирования интерпретирующего типа (таких, как Лисп), но может использоваться и для других языков (например, на инструментальном компьютере). Синтаксически-управляемая инструментальная среда программирования базируется на знании синтаксиса языка программирования, на который она ориентирована. В такой среде вместо текстового используется синтаксически-управляемый редактор, позволяющий пользователю использовать различные шаблоны синтаксических конструкций (в результате этого разрабатываемая программа всегда будет синтаксически правильной). Одновременно с программой такой редактор формирует (в памяти компьютера) ее синтаксическое дерево, которое может использоваться другими инструментами.