- •Лекции по технологии программирования содержание
- •Лекция 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. Инструментальные системы технологии программирования
- •Вопросы к письменному экзамену по курсу "технология программирования" Вопросы типа меню
- •Понятие качества программного средства.
- •Понятие архитектуры программного средства.
- •Основные вопросы
12.5. Обеспечение мобильности
Проблема мобильности возникает из-за того, что быстрое развитие компьютерной техники и аппаратных средств делает жизненный цикл многих больших программных средств (программных систем) намного продолжительнее периода «морально» оправданного существования компьютеров и аппаратуры, для которых первоначально создавались эти программные средства. Поэтому обеспечение критерия мобильности для таких ПС является весьма важной задачей.
Мобильность ПС определяется такими примитивами качества ПС как независимость от устройств, автономность, структурированность и модульность.
Если бы ПС обладало таками примитивами качества, как независимость от устройств и автономность, и его программы были бы представлены на машинно-независимом языке программирования, то перенос ПС в другую среду обеспечивался бы перетрансляцией (перекомпиляцией) его программ в этой среде. Однако трудно представить реальное ПС, обладающее таким качеством. Тем не менее, таким качеством могут обладать отдельные части программ ПС и даже весьма значительные. А это уже явный намек на то, каким путем следует добиваться мобильности ПС.
Если ПС зависит от устройств (аппаратуры), то в спецификации качества должна быть описана эта компьютерно-аппаратная среда (будем ее называть аппаратной платформой [12.6]). Избавится от этой зависимости можно за счет такого примитива качества ПС как автономность. Как правило, ПС строится в рамках некоторой операционной системы (ОС), которая может спрятать специфику аппаратной платформы и, тем самым, сделать ПС независимым от устройств. Но тогда ПС не будет обладать свойством автономности. В этом случае в спецификации качества должна быть описана эта программная среда, над которой строится ПС (будем эту среду называть операционной платформой [12.6]). Таким образом, мобильность ПС будет непосредственно связано с мобильностью используемой ОС: перенос ПС на другую аппаратную платформу осуществляется автоматически, если будет осуществлен перенос на эту платформу используемой ОС. Но обеспечение мобильности ОС является самостоятельной и довольно трудной задачей.
Таким образом, для обеспечения мобильности ПС нужно решить две задачи:
-
выделение по возможности наибольшей части программ ПС, обладающей свойствами независимости от устройств и автономности (другими словами, независимой от аппаратно-операционной платформы);
-
обеспечение сопровождаемости для остальных частей программ ПС.
Для решения этих задач целесообразно выбрать в качестве архитектуры ПС слоистую систему (см. рис. 12.1). Основной слой, реализующий основные функции ПС, должен быть независимым от аппаратно-операционной платформы. Выделяется также слой (часто называемый ядром ПС), который включает программные модули, зависящие от аппаратно-операционной платформы. Этот слой должен обеспечивать, в частности, доступ к внешней информационной среде ПС. Между этими слоями должен быть определен интерфейс, независимый от аппаратно-операционной платформы и обеспечивающий правила обращения из основного слоя к модулям ядра. Будем называть этот интерфейс системным. Использование графических пользовательских интерфейсов требует выделение еще одного программного слоя, зависящего от той части аппаратно-операционной платформы (графической пользовательской платформы), на которой строятся пользовательские интерфейсы. Будем называть этот слой оболочкой ПС. Между оболочкой и основным слоем также должен быть определен интерфейс, независимый от графической пользовательской платформы и обеспечивающий правила обращения из оболочки к модулям основного слоя.
Рис. 12.1. Рекомендуемая архитектура мобильного ПС.
Модульность ПС позволяет сформировать указанные слои, выделяя программные модули с требуемыми свойствами и распределяя их между указанными слоями. Модульность и структурированность оболочки и ядра позволяют обеспечить эти слои свойством модифицируемости. При этом желательно, чтобы каждый модуль этих слоев был ориентирован на реализацию каких-либо функций управления четко выделенной компоненты аппаратно-операционной среды. Для этого используются такие методы как унификация интерфейсов, стандартизация протоколов и т.п. [12.6].
Упражнения к лекции 12.
12.1. Какие задачи приходиться решать при обеспечении коммуникабельности ПС?
12.2. Какие возможности предоставляет пользователю графический пользовательский интерфейс?
12.3. Как нужно действовать для обеспечения эффективности ПС?
12.4. Что такое инсталятор программного средства (ПС)?
12.5. Что такое управление конфигурацией ПС?
12.6. Что такое ядро ПС?
12.7. Что такое оболочка ПС?
Литература к лекции 12.
12.1. Ian Sommerville. Software Engineering. - Addison-Wesley Publishing Company, 1992. P. 261-286.
12.2. М. Кристиан. Введение в операционную систему UNIX. - М.: Финансы и статистика, 1985. - С. 156-178.
12.3. Г. Майерс. Надежность программного обеспечения. - М.: Мир, 1980. С. 127-154, 160-164.
12.4. Д. Ван Тассел. Стиль, разработка, эффективность, отладка и испытание программ. - М.: Мир, 1985. С. 8-44, 117-178.
12.5. М.М. Горбунов-Посадов. Конфигурации программ. Рецепты безболезненных изменений. – М.: «Малип», 1994.
12.6. В.В. Липаев, Е.Н Филиппов. Мобильность программ и данных в открытых информационных системах. - М.: Научная книга, 1997.
В начале было Слово…
Библия, Новый завет,
От Иоанна святое благовествование