Технология программирования. Лекции

Подождите немного. Документ загружается.

Лекция 1. НАДЕЖНОЕ ПРОГРАММНОЕ СРЕДСТВО КАК ПРОДУКТ ТЕХНОЛОГИИ

ПРОГРАММИРОВАНИЯ. ИСТОРИЧЕСКИЙ И СОЦИАЛЬНЫЙ КОНТЕКСТ ПРОГРАММИРОВАНИЯ..........2

Лекция 2. ИСТОЧНИКИ ОШИБОК В ПРОГРАММНЫХ СРЕДСТВАХ....................................................................8

Лекция 3. ОБЩИЕ ПРИНЦИПЫ РАЗРАБОТКИ ПРОГРАММНЫХ СРЕДСТВ......................................................12

Лекция 4. ВНЕШНЕЕ ОПИСАНИЕ ПРОГРАММНОГО СРЕДСТВА.......................................................................20

Лекция 5. МЕТОДЫ СПЕЦИФИКАЦИИ СЕМАНТИКИ ФУНКЦИЙ......................................................................29

Лекция 6. АРХИТЕКТУРА ПРОГРАММНОГО СРЕДСТВА......................................................................................41

Лекция 7. РАЗРАБОТКА СТРУКТУРЫ ПРОГРАММЫ И МОДУЛЬНОЕ ПРОГРАММИРОВАНИЕ..................47

Лекция 8. РАЗРАБОТКА ПРОГРАММНОГО МОДУЛЯ.............................................................................................58

Лекция 9. ДОКАЗАТЕЛЬСТВО СВОЙСТВ ПРОГРАММ...........................................................................................67

Лекция 10. ТЕСТИРОВАНИЕ И ОТЛАДКА ПРОГРАММНОГО СРЕДСТВА.........................................................74

Лекция 11. ОБЕСПЕЧЕНИЕ ФУНКЦИОНАЛЬНОСТИ И НАДЕЖНОСТИ ПС......................................................83

Лекция 12. ОБЕСПЕЧЕНИЕ КАЧЕСТВА ПРОГРАММНОГО СРЕДСТВА................................................................92

Лекция 13 ДОКУМЕНТИРОВАНИЕ ПРОГРАММНЫХ СРЕДСТВ........................................................................102

Лекция 14. УПРАВЛЕНИЕ РАЗРАБОТКОЙ И АТТЕСТАЦИЯ ПРОГРАММНОГО СРЕДСТВА...........................106

Лекция 15. ОЪЕКТНЫЙ ПОДХОД К РАЗРАБОТКЕ ПРОГРАММНЫХ СРЕДСТВ.............................................118

Лекция 16. КОМПЬЮТЕРНАЯ ПОДДЕРЖКА РАЗРАБОТКИ И СОПРОВОЖДЕНИЯ ПРОГРАММНЫХ

СРЕДСТВ.........................................................................................................................................................................130

Литература к лекцииям..................................................................................................................................................145

Приложение 1. Вопросы к письменному экзамену.....................................................................................................151

Приложение 2. Основные вопросы к письменному экзамену.......................................................................................2

Приложение 2. Задания на самостоятельную работу (1-й семестр)..............................................................................3

Лекция 1. НАДЕЖНОЕ ПРОГРАММНОЕ СРЕДСТВО КАК ПРОДУКТ

ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ. ИСТОРИЧЕСКИЙ И

СОЦИАЛЬНЫЙ КОНТЕКСТ ПРОГРАММИРОВАНИЯ

Понятие информационной среды процесса обработки данных. Программа как

формализованное описание процесса. Понятие о программном средстве. Понятие ошибки в

программном средстве. Неконструктивность понятия правильной программы.

Надежность программного средства. Технология программирования как технология

разработки надежных программных средств. Технология программирования и

информатизация общества.

1.1. Программа как формализованное описание процесса обработки

данных. Программное средство.

Целью программирования является описание процессов обработки данных

(в дальнейшем  просто процессов). Согласно ИФИПа [1.1]: данные (data)  это

представление фактов и идей в формализованном виде, пригодном для

передачи и переработке в некоем процессе, а информация (information)  это

смысл, который придается данным при их представлении. Обработка данных

(data processing)  это выполнение систематической последовательности

действий с данными. Данные представляются и хранятся на т.н. носителях

данных. Совокупность носителей данных, используемых при какой-либо

обработке данных, будем называть информационной средой (data medium).

Набор данных, содержащихся в какой-либо момент в информационной среде,

будем называть состоянием этой информационной среды. Процесс можно

определить как последовательность сменяющих друг друга состояний

некоторой информационной среды.

Описать процесс  это значит определить последовательность состояний

заданной информационной среды. Если мы хотим, чтобы по заданному

описанию требуемый процесс порождался автоматически на каком-либо

компьютере, необходимо, чтобы это описание было формализованным. Такое

описание называется программой. С другой стороны, программа должна быть

понятной и человеку, так как и при разработке программ, и при их

использовании часто приходится выяснять, какой именно процесс она

порождает. Поэтому программа составляется на удобном для человека

формализованном языке программирования, с которого она автоматически

переводится на язык соответствующего компьютера с помощью другой

программы, называемой транслятором. Человеку (программисту), прежде чем

составить программу на удобном для него языке программирования,

приходится проделывать большую подготовительную работу по уточнению

постановки задачи, выбору метода ее решения, выяснению специфики

применения требуемой программы, прояснению общей организации

разрабатываемой программы и многое другое. Использование этой информации

может существенно упростить задачу понимания программы человеком,

поэтому весьма полезно ее как-то фиксировать в виде отдельных документов

(часто не формализованных, рассчитанных только для восприятия человеком).

Обычно программы разрабатываются в расчете на то, чтобы ими могли

пользоваться люди, не участвующие в их разработке (их называют

пользователями). Для освоения программы пользователем помимо ее текста

требуется определенная дополнительная документация. Программа или

логически связанная совокупность программ на носителях данных, снабженная

программной документацией, называется программным средством (ПС).

Программа позволяет осуществлять некоторую автоматическую обработку

данных на компьютере. Программная документация позволяет понять, какие

функции выполняет та или иная программа ПС, как подготовить исходные

данные и запустить требуемую программу в процесс ее выполнения, а также:

что означают получаемые результаты (или каков эффект выполнения этой

программы). Кроме того, программная документация помогает разобраться в

самой программе, что необходимо, например, при ее модификации.

1.2. Неконструктивность понятия правильной программы.

Таким образом, можно считать, что продуктом технологии

программирования является ПС, содержащее программы, выполняющие

требуемые функции. Здесь под «программой» часто понимают правильную

программу, т.е. программу, не содержащую ошибок. Однако, понятие ошибки в

программе трактуется в среде программистов неоднозначно. Согласно Майерсу

[1.2, стр. 10-13] будем считать, что в программе имеется ошибка, если она не

выполняет того, что разумно ожидать от нее пользователю. «Разумное

ожидание» пользователя формируется на основании документации по

применению этой программы. Следовательно, понятие ошибки в программе

является существенно не формальным. В ПС программы и документация

взаимно увязаны, образуют некоторую целостность. Поэтому правильнее

говорить об ошибке не в программе, а в ПС в целом: будем считать, что в ПС

имеется ошибка (software error), если оно не выполняет того, что разумно

ожидать от него пользователю. В частности, разновидностью ошибки в ПС

является несогласованность между программами ПС и документацией по их

применению. В работе [1.3] выделяется в отдельное понятие частный случай

ошибки в ПС, когда программа не соответствует своей функциональной

спецификации (описанию, разрабатываемому на этапе, предшествующему

непосредственному программированию). Такая ошибка в указанной работе

называется дефектом программы. Однако выделение такой разновидности

ошибки в отдельное понятие вряд ли оправданно, так как причиной ошибки

может оказаться сама функциональная спецификация, а не программа.

Так как задание на ПС обычно формулируется не формально, а также из-за

того, что понятия ошибки в ПС не формализовано, то нельзя доказать

формальными методами (математически) правильность ПС. Нельзя показать

правильность ПС и тестированием: как указал Дейкстра [1.4], тестирование

может лишь продемонстрировать наличие в ПС ошибки. Поэтому понятие

правильной ПС неконструктивно в том смысле, что после окончания работы

над созданием ПС мы не сможем убедиться, что достигли цели.

1.3. Надежность программного средства.

Альтернативой правильного ПС является надежное ПС. Надежность

(reliability) ПС  это его способность безотказно выполнять определенные

функции при заданных условиях в течение заданного периода времени с

достаточно большой вероятностью [1.5]. При этом под отказом в ПС

понимают проявление в нем ошибки [1.2, стр. 10-13]. Таким образом, надежное

ПС не исключает наличия в нем ошибок  важно лишь, чтобы эти ошибки при

практическом применении этого ПС в заданных условиях проявлялись

достаточно редко. Убедиться, что ПС обладает таким свойством можно при его

испытании путем тестирования, а также при практическом применении. Таким

образом, фактически мы можем разрабатывать лишь надежные, а не

правильные ПС.

ПС может обладать различной степенью надежности. Как измерять эту

степень? Так же как в технике, степень надежности можно характеризовать

[1.2, стр. 10-13] вероятностью работы ПС без отказа в течение определенного

периода времени. Однако в силу специфических особенностей ПС определение

этой вероятности наталкивается на ряд трудностей по сравнению с решением

этой задачи в технике. Позже мы вернемся к более обстоятельному

обсуждению этого вопроса.

При оценке степени надежности ПС следует также учитывать последствия

каждого отказа. Некоторые ошибки в ПС могут вызывать лишь некоторые

неудобства при его применении, тогда как другие ошибки могут иметь

катастрофические последствия, например, угрожать человеческой жизни.

Поэтому для оценки надежности ПС иногда используют дополнительные

показатели, учитывающие стоимость (вред) для пользователя каждого отказа.

1.4. Технология программирования как технология разработки

надежных программных средств.

В соответствии с обычным значением слова «технология» [1.6] под

технологией программирования (programming technology) будем понимать

совокупность производственных процессов, приводящую к созданию

требуемого ПС, а также описание этой совокупности процессов. Другими

словами, технологию программирования мы будем понимать здесь в широком

смысле как технологию разработки программных средств, включая в нее все

процессы, начиная с момента зарождения идеи этого средства, и, в частности,

связанные с созданием необходимой программной документации. Каждый

процесс этой совокупности базируется на использовании каких-либо методов и

средств, например, компьютер (в этом случае будем говорить о компьютерной

технологии программирования).

В литературе имеются и другие, несколько отличающиеся, определения

технологии программирования. Эти определения обсуждаются в работе [1.7].

Используется в литературе и близкое к технологии программирования понятие

программной инженерии, определяемой как систематический подход к

разработке, эксплуатации, сопровождению и изъятию из обращения

программных средств [1.7, стр. 9-16]. Именно программной инженерии

(software engineering) посвящена упомянутая работа [1.3]. Главное различие

между технологией программирования и программной инженерией как

дисциплинами для изучения заключается в способе рассмотрения и

систематизации материала. В технологии программирования акцент делается на

изучении процессов разработки ПС (технологических процессов) и порядке их

прохождения  методы и инструментальные средства разработки ПС

используются в этих процессах (их применение и образуют технологические

процессы). Тогда как в программной инженерии изучаются различные методы

и инструментальные средства разработки ПС с точки зрения достижения

определенных целей – эти методы и средства могут использоваться в разных

технологических процессах (и в разных технологиях программирования).

Не следует также путать технологию программирования с методологией

программирования [1.8]. В технологии программирования методы

рассматриваются «сверху»  с точки зрения организации технологических

процессов, а в методологии программирования методы рассматриваются

«снизу»  с точки зрения основ их построения (в работе [1.9, стр. 25]

методология программирования определяется как совокупность механизмов,

применяемых в процессе разработки программного обеспечения и

объединенных одним общим философским подходом).

Имея ввиду, что надежность является неотъемлемым атрибутом ПС, мы

будем рассматривать технологию программирования как технологию

разработки надежных ПС. Это означает, что

 мы будем рассматривать все процессы разработки ПС, начиная с момента

возникновения замысла ПС;

 нас будут интересовать не только вопросы построения программных

конструкций, но и вопросы описания функций и принимаемых решений с

точки зрения их человеческого (неформального) восприятия;

 в качестве продукта технологии принимается надежная (далеко не всегда

правильная) ПС.

Такой взгляд на технологию программирования будет существенно влиять на

организацию технологических процессов, на выбор в них методов и

инструментальных средств.

1.5. Технология программирования и информатизация общества.

Технологии программирования играло разную роль на разных этапах

развития программирования. По мере повышения мощности компьютеров и

развития средств и методологии программирования росла и сложность

решаемых на компьютерах задач, что привело к повышенному вниманию к

технологии программирования. Резкое удешевление стоимости компьютеров и,

в особенности, стоимости хранения информации на компьютерных носителях

привело к широкому внедрению компьютеров практически во все сферы

человеческой деятельности, что существенно изменило направленность

технологии программирования. Человеческий фактор стал играть в ней

решающую роль. Сформировалось достаточно глубокое понятие качества ПС,

причем предпочтение стало отдаваться не столько эффективности ПС, сколько

удобству работы с ним для пользователей (не говоря уже о его надежности).

Широкое использование компьютерных сетей привело к интенсивному

развитию распределенных вычислений, дистанционного доступа к информации

и электронного способа обмена сообщениями между людьми. Компьютерная

техника из средства решения отдельных задач все более превращается в

средство информационного моделирования реального и мыслимого мира,

способное просто отвечать людям на интересующие их вопросы. Начинается

этап глубокой и полной информатизации (компьютеризации) человеческого

общества. Все это ставит перед технологией программирования новые и

достаточно трудные проблемы.

Сделаем краткую характеристику развития программирования по

десятилетиям.

В 50-е годы мощность компьютеров (первого поколения) была невелика, а

программирование для них велось, в основном, в машинном коде. Решались,

главным образом, научно-технические задачи (счет по формулам), задание на

программирование содержало, как правило, достаточно точную постановку

задачи. Использовалась интуитивная технология программирования: почти

сразу приступали к составлению программы по заданию, при этом часто

задание несколько раз изменялось (что сильно увеличивало время и без того

итерационного процесса составления программы), минимальная документация

оформлялась уже после того, как программа начинала работать. Тем не менее,

именно в этот период родилась фундаментальная для технологии

программирования концепция модульного программирования [1.10],

ориентированная на преодоления трудностей программирования в машинном

коде. Появились первые языки программирования высокого уровня, из которых

только ФОРТРАН пробился для использования в следующие десятилетия.

В 60-е годы можно было наблюдать бурное развитие и широкое

использование языков программирования высокого уровня (АЛГОЛ 60,

ФОРТРАН, КОВОЛ и др.), значение которых в технологии программирования

явно преувеличивалась. Надежда на то, что эти языки решат все проблемы,

возникающие в процессе разработки больших программ, не оправдалась. В

результате повышения мощности компьютеров и накопления опыта

программирования на языках высокого уровня быстро росла сложность

решаемых на компьютерах задач, в результате чего обнаружилась

ограниченность языков, проигнорировавших модульную организацию

программ. И только ФОРТРАН, бережно сохранивший возможность

модульного программирования, гордо прошествовал в следующие десятилетия

(все его ругали, но его пользователи отказаться от его услуг не могли из-за

грандиозного накопления фонда программных модулей, которые с успехом

использовались в новых программах). Кроме того, было понято, что важно не

только то, на каком языке мы программируем, но и то, как мы программируем

[1.4]. Это было уже началом серьезных размышлений над методологией и

технологией программирования. Появление в компьютерах 2-го поколения

прерываний привело к развитию мультипрограммирования и созданию

больших программных систем. Широко стала использоваться коллективная

разработка, которая поставила ряд серьезных технологических проблем [1.11].

В 70-е годы получили широкое распространение информационные

системы и базы данных. К середине 70-ых годов стоимость хранения одного

бита информации на компьютерных носителях стала меньше, чем на

традиционных носителях. Это резко повысило интерес к компьютерным

системам хранения данных. Началось интенсивное развитие технологии

программирования [1.2, 1.8, 1.12-1.14], прежде всего, в следующих

направлениях:

 обоснование и широкое внедрение нисходящей разработки и

структурного программирования,

 развитие абстрактных типов данных и модульного программирования (в

частности, возникновение идеи разделения спецификации и реализации

модулей и использование модулей, скрывающих структуры данных),

 исследование проблем обеспечения надежности и мобильности ПС,

 создание методики управления коллективной разработкой ПС,

 появление инструментальных программных средств (программных

инструментов) поддержки технологии программирования.

80-е годы характеризуются широким внедрением персональных

компьютеров во все сферы человеческой деятельности и тем самым созданием

обширного и разнообразного контингента пользователей ПС. Это привело к

бурному развитию пользовательских интерфейсов и созданию четкой

концепции качества ПС [1.5, 1.15-1.18]. Появляются языки программирования

(например, Ада), учитывающие требования технологии программирования

[1.19]. Развиваются методы и языки спецификации ПС [1.20-1.21]. Начинается

бурный процесс стандартизации технологических процессов и, прежде всего,

документации, создаваемой в этих процессах [1.22]. Выходит на передовые

позиции объектный подход к разработке ПС [1.9]. Создаются различные

инструментальные среды разработки и сопровождения ПС [1.3]. Развивается

концепция компьютерных сетей.

90-е годы знаменательны широким охватом всего человеческого общества

международной компьютерной сетью, персональные компьютеры стали

подключаться к ней как терминалы. Это поставило ряд проблем (как

технологического, так и юридического и этического характера) регулирования

доступа к информации компьютерных сетей. Остро встала проблема защиты

компьютерной информации и передаваемых по сети сообщений. Стали бурно

развиваться компьютерная технология (CASE-технология) разработки ПС и

связанные с ней формальные методы спецификации программ. Начался

решающий этап полной информатизации и компьютеризации общества.

Упражнения к лекции 1.

1.1. Что такое информационная среда программы?

1.2. Что такое программное средство (ПС)?

1.3. Что такое ошибка в ПС?

1.4. Что такое надежность ПС?

Что такое технология программирования?

Лекция 2. ИСТОЧНИКИ ОШИБОК В ПРОГРАММНЫХ СРЕДСТВАХ

Интеллектуальные возможности человека, используемые при разработке

программных систем. Понятия о простых и сложных системах, о малых и больших

системах. Неправильный перевод информации из одного представления в другое - основная

причина ошибок при разработке программных средств. Модель перевода и источники

ошибок.

2.1. Интеллектуальные возможности человека.

Дейкстра [2.1] выделяет три интеллектуальные возможности человека,

используемые при разработке ПС:

 способность к перебору,

 способность к абстракции,

 способность к математической индукции.

Способность человека к перебору связана с возможностью

последовательного переключения внимания с одного предмета на другой,

позволяя узнавать искомый предмет. Эта способность весьма ограничена - в

среднем человек может уверенно (не сбиваясь) перебирать в пределах 1000

предметов (элементов). Человек должен научиться действовать с учетом этой

своей ограниченности. Средством преодоления этой ограниченности является

его способность к абстракции, благодаря которой человек может объединять

разные предметы или экземпляры в одно понятие, заменять множество

элементов одним элементом (другого рода). Способность человека к

математической индукции позволяет ему справляться с бесконечными

последовательностями.

При разработке ПС человек имеет дело с системами. Под системой будем

понимать совокупность взаимодействующих (находящихся в отношениях) друг

с другом элементов. ПС можно рассматривать как пример системы. Логически

связанный набор программ является другим примером системы. Любая

отдельная программа также является системой. Понять систему  значит

осмысленно перебрать все пути взаимодействия между ее элементами. В силу

ограниченности человека к перебору будем различать простые и сложные

системы [2.2]. Под простой будем понимать такую систему, в которой человек

может уверенно перебирать все пути взаимодействия между ее элементами, а

под сложной будем понимать такую систему, в которой он этого делать не в

состоянии. Между простыми и сложными системами нет четкой границы,

поэтому можно говорить и о промежуточном классе систем: к таким системам

относятся программы, о которых программистский фольклор утверждает, что

"в каждой отлаженной программе имеется хотя бы одна ошибка".

При разработке ПС мы не всегда можем уверенно знать о всех связях

между ее элементами из-за возможных ошибок. Поэтому полезно уметь

оценивать сложность системы по числу ее элементов: числом потенциальных

путей взаимодействия между ее элементами, т.е. n! , где n  число ее элементов.

Систему назовем малой, если n < 7 (6! = 720 < 1000), систему назовем большой,

если n > 7. При n=7 имеем промежуточный класс систем. Малая система всегда

проста, а большая может быть как простой, так и сложной. Задача технологии

программирования  научиться делать большие системы простыми.

Полученная оценка простых систем по числу элементов широко

используется на практике. Так, для руководителя коллектива весьма

желательно, чтобы в нем не было больше шести взаимодействующих между

собой подчиненных. Весьма важно также следовать правилу: «все, что может

быть сказано, должно быть сказано в шести пунктах или меньше». Этому

правилу мы будем стараться следовать в настоящем пособии: всякие

перечисления взаимосвязанных утверждений (набор рекомендаций, список

требований и т.п.) будут соответствующим образом группироваться и

обобщаться. Полезно ему следовать и при разработке ПС.

2.2. Неправильный перевод как причина ошибок в программных

средствах.

При разработке и использовании ПС мы многократно имеем дело [2.3, стр.

22-28] с преобразованием (переводом) информации из одной формы в другую

(см. рис.2.1). Заказчик формулирует свои потребности в ПС в виде некоторых

требований. Исходя из этих требований, разработчик создает внешнее описание

ПС, используя при этом спецификацию (описание) заданной аппаратуры и,

возможно, спецификацию базового программного обеспечения. На основании

внешнего описания и спецификации языка программирования создаются

тексты программ ПС на этом языке. По внешнему описанию ПС

разрабатывается также и пользовательская документация. Текст каждой

программы является исходной информацией при любом ее преобразовании, в

частности, при исправлении в ней ошибки. Пользователь на основании

документации выполняет ряд действий для применения ПС и осуществляет

интерпретацию получаемых результатов. Везде здесь, а также в ряде других

процессах разработки ПС, имеет место указанный перевод информации.

ÒÐÅÁÎ ÂÀÍ Èß Ê Ï Ñ

ÑÏ ÅÖÈÔÈÊÀÖÈß

ÀÏ Ï ÀÐÀÒÓÐÛ

ÂÍ ÅØ Í ÅÅ

Î Ï ÈÑÀÍ ÈÅ

Ï Ñ

ÐÓÊÎ ÂÎ ÄÑÒÂÎ

Ï Î

Ï ÐÈÌ ÅÍ ÅÍ ÈÞ

Ï Ñ

ÑÏ ÅÖÈÔÈÊÀÖÈß

ÁÀÇÎ ÂÎ ÃÎ

Ï ÐÎ ÃÐÀÌ Ì Í Î ÃÎ

Î ÁÅÑÏ Å×ÅÍ Èß

ÒÅÊÑÒÛ

Ï ÐÎ ÃÐÀÌ Ì

Ï Ñ

ÑÏ ÅÖÈÔÈÊÀÖÈß

ß ÇÛ ÊÀ

Ï ÐÎ ÃÐÀÌ Ì ÈÐÎ ÂÀÐÈß

Рис. 2.1. Грубая схема разработки и применения ПС.

На каждом из этих этапов перевод информации может быть осуществлен

неправильно, например, из-за неправильного понимания исходного

представления информации. Возникнув на одном из этапов разработки ПС,

ошибка в представлении информации преобразуется в новые ошибки

результатов, полученных на последующих этапах разработки, и, в конечном

счете, окажется в ПС.

2.3. Модель перевода.