Базовая версия

Национальный аэрокосмический университет им. Н.Е. Жуковского (ХАИ)

Учебное пособие

Методическое руководство

По выполнению Аттестационного задания

по курсу «Инженерия критического ПО»

(магистратура, дистанционная форма обучения, повышенная сложность)

Базовая версия

Дата редакции: 14.05.13 13:50

2013
«Методическое руководство по выполнению Аттестационного задания по курсу «Инженерия критического ПО» разработано авторской группой в составе:

­ кафедра «Инженерия ПО» НАКУ им. Н.Е. Жуковского «ХАИ»:

Конорев Б.М. – д.т.н., профессор кафедры «Инженерия ПО» НАКУ им. Н.Е. Жуковского «ХАИ»

Туркин И.Б. – д.т.н., профессор, заведующий кафедрой «Инженерия ПО» НАКУ им. Н.Е. Жуковского «ХАИ»

Соколова Е.В. – к.т.н., доцент кафедры «Инженерия ПО» НАКУ им. Н.Е. Жуковского «ХАИ»

Сергиенко В.В. – к.т.н., руководитель испытательной лаборатории ХХП «Сертификационный центр АСУ» ГП «Госцентркачества»

­ кафедра «Компьютерные системы и сети» НАКУ им. Н.Е. Жуковского «ХАИ»:

Харченко В.С. – д.т.н., профессор, заведующий кафедрой «Компьютерные системы и сети» НАКУ им. Н.Е. Жуковского «ХАИ»

Тарасюк О. М. – к.т.н., доцент кафедры «Компьютерные системы и сети» НАКУ им. Н.Е. Жуковского «ХАИ»

­ кафедра «Теоретическая и прикладная информатика» ХНУ им. В.Н. Каразина:

Жолткевич Т.Н. – д.т.н., профессор, заведующий кафедрой «Теоретическая и прикладная информатика» ХНУ им. В.Н. Каразина

Зарецкая И.Т. – к.т.н., доцент кафедры «Теоретическая и прикладная информатика» ХНУ им. В.Н. Каразина

Владимирова М.В. – к.т.н., доцент кафедры «Теоретическая и прикладная информатика» ХНУ им. В.Н. Каразина

­ кафедра «Моделирование систем и технологий» ХНУ им. В.Н. Каразина:

Мищенко В.О. – д.т.н., профессор кафедры «Моделирование систем и технологий» ХНУ им. В.Н. Каразина

Содержание

1 Назначение. Общие положения. 4

2 Общая характеристика предметной области курса «Инженерия критического ПО». 5

2.1 Предметная область дисциплины «Инженерия критического ПО». 5

2.2 Специфика дисциплины «Инженерия критического ПО». 5

2.2.1 Методология проектирования критического ПО.. 5

2.2.2 Квалификационные испытания критического ПО 9

2.2.3 Управление качеством критического ПО.. 10

2.2.4 Базовая модель менеджмента в сфере «Программная инженерия». 10

2.2.5 Уровень критичности. Риски. Безопасность (функциональная и информационная). Оценка и регулирования величины рисков связанных со скрытыми дефектами критического ПО. 14

2.2.6 Отчуждаемость критического ПО. 14

2.2.7 Систематическое использование метрик для количественного измерения показателей качества программного продукта и процессов ЖЦ. 15

3 Сценарий «Аттестационного задания». 17

4 Общие требования к структуре и содержанию Реферата
«Аттестационного Задания». 22

4.1 Название темы «Аттестационного задания». 22

4.2 Введение. 22

4.3 Реферат. 24

4.4 Выводы.. 25

4.5 Заключение. 25

4.6 Список фактически использованной литературы. 25

4.7 Доклад-презентация. 25

5 Перечень рекомендуемых тем «Аттестационного задания». 26

5.1 Процессная парадигма инженерии критического ПО. 27

5.2 Качество критического ПО.. 29

5.3 Управление разработкой программных средств. 30

5.4 Квалификационные испытания критического ПО. 32

5.5 Методология разработки критического ПО. 33

5.6 Модели качества процессов ЖЦ ПО SPICE. 34

5.7 Модели качества программного продукта SQuaRE.. 35

5.8 Полимодельная инварианто – ориентированная Model-checking верификация. 36

5.9 Динамическая спецификация критического ПО.. 37

5.10 Статический анализ в инженерии критического ПО. 38

5.11 Нормативная база инженерии критического ПО: процессная парадигма. 39

5.12 Управление конфигурациями ПО. Повторное использование ПО. 41

6 Рекомендуемая литература. Электронный архив. 42

Назначение. Общие положения.

1.1 Методическое руководство по выполнению Аттестационного задания по курсу «Инженерия критического ПО» (далее – «Методическое руководство…») определяет технологию выполнения индивидуального «Аттестационного задания» при углубленном изучении специальных разделов системной и программной инженерии, посвященных проблематике создания и использования критического ПО.

1.2 «Аттестационное задание» по существу заключается в написании Реферата и Доклада-презентации по выбранной теме. Основанием для написания реферата должны служить проведенные исполнителем исследования литературных источников из рекомендуемого перечня и самостоятельно отобранных в Internet по признаку принадлежности к объекту и предмету (предметной области) изучения по выбранной теме.

1.3 Содержание Реферата «Аттестационного задания» должно доказательно отражать достижение исполнителем (студентом) уровня компетентности, адекватного требованиям современных международных (SWEBOK, PMBOK) и национальных (Нормативы МОН Украины) образовательных стандартов, а так же передовым мировым достижениям – «лучшим практикам» в области создания и использования критического ПО в различных прикладных областях.

1.4 Целью «Аттестационного задания» является формирование элементов теоретической, технологической и мировоззренческой подготовки современного специалиста, развитие умения и навыков исследований в сфере критической программной инженерии, обеспечение готовности специалиста к работе в сфере создания критических программных приложений, как в условиях жесткого нормативного регулирования, так и в условиях использования agile-технологий.

1.5 «Методическое руководство…» рассчитано на студентов старших курсов университета, проходящих обучение по программам подготовки специалистов и магистров при очной, заочной и дистанционной формах обучения.

Предполагается наличие соответствующей подготовки студента в области компьютинга (информатики, компьютерных наук, информационных технологий, программной инженерии и т.д.) в объемах соответствующих учебных программ университета.

1.6 В процессе выполнения «Аттестационного задания» предусматривается необходимый объем индивидуального дистанционного взаимодействия исполнителя с кафедрой (преподавателем), включающий консультации по выбору темы, отбору и аналитическим обзорам литературы, написанию реферата, выводов, заключения и презентационного доклада по теме, получение рецензии кафедры и аттестационной оценки по изучаемому модулю.

2 Общая характеристика предметной области курса «Инженерия критического ПО»

(Раздел носит иноформационно-справочный характер).

2.1 Предметная область дисциплины «Инженерия критического ПО» является существенной частью предметной области в целом дисциплины «Программная инженерия», представленной ее «Ключевыми областями знаний» (SWEBOK, PMBOK 2004). В силу этого она в той или иной мере пересекается с предметными областями других дисциплин Компьютинга (компьютерные науки, информатика, информационные технологии т.д.), имея в то же время четко выраженную специфику [10, 11, 24-29].

2.2 Специфика дисциплины «Инженерия критического ПО» определяется концентрацией ее интересов (проблематики) вокруг следующих специальных проблем системной и программной инженерии [6, 7, 18-21, 15, 13]: