Введение. Для студентов математических специальностей

Н.Б. ОСИПЕНКО

СТАНДАРТИЗАЦИЯ И СЕРТИФИКАЦИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

ТЕКСТЫ ЛЕКЦИЙ

Для студентов математических специальностей

Гомель 2012

УДК 004.41.057.2

ББК 32.973.26–018.2ц.я73

О

Рецензенты:

кафедра математических проблем управления

учреждения образования

«Гомельский государственный университет

имени Франциска Скорины».

Рекомендовано к изданию научно–методическим советом
учреждения образования «Гомельский государственный
университет имени Франциска Скорины»

Осипенко, Н. Б.

О Стандартизация и сертификация программного обеспечения:

тексты лекций для студентов математических специальностей / Н.Б. Осипенко; М–во образ. РБ, Гомельский государственный университет им. Ф. Скорины. – Гомель: ГГУ им. Ф. Скорины, 2012. – 155с.

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

Адресованы студентам математических специальностей.

УДК 004.41.057.2

ББК 32.973.26–018.2ц.я73

© Осипенко Н. Б., 2012

© УО «ГГУ им. Ф. Скорины», 2012

Содержание

ВВЕДЕНИЕ.. 4

РАЗДЕЛ 1 ОБЩИЕ ПОЛОЖЕНИЯ О СТАНДАРТАХ.. 5

Тема 1 Основные понятия. 5

Тема 2 Организации, разрабатывающие стандарты.. 11

РАЗДЕЛ 2 ЖИЗНЕННЫЙ ЦИКЛ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ.. 20

Тема 3 Систематизация процессов жизненного цикла. 20

Тема 4 Основные модели жизненного цикла. 27

РАЗДЕЛ 3 СТАНДАРТЫ ДОКУМЕНТИРОВАНИЯ ПРОГРАММНЫХ СРЕДСТВ.. 38

Тема 5 Общая характеристика проблем и задач документирования программного обеспечения 38

Тема 6 Единая система программной документации. 41

РАЗДЕЛ 4 НАДЕЖНОСТЬ И КАЧЕСТВО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ.. 51

Тема 7 Основные понятия и показатели надежности программного обеспечения 51

Тема 8 Дестабилизирующие факторы и методы обеспечения надежности функционирования программных средств 64

Тема 9 Модели надежности программного обеспечения. 76

Тема 10 Обеспечение качества и надежности в процессе разработки сложных программных средств 96

РАЗДЕЛ 5 ТЕСТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ.. 109

Тема 11 Основные понятия. 109

Тема 12 Тестирование надежности программного обеспечения. 113

Тема 13 Тестирование программного обеспечения. 127

Тема 14 Виды тестирования программного обеспечения. 132

РАЗДЕЛ 6 CASE – ИНСТРУМЕНТАРИЙ АВТОМАТИЗАЦИИ АНАЛИЗА, ПРОЕКТИРОВАНИЯ И РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ.. 143

Тема 15 Классификация CASE – инструментария. 143

Тема 16 Концептуальные основы CASE – технологий. 147

ЛИТЕРАТУРА.. 155

ВВЕДЕНИЕ

В области инженерии программного обеспечения (ПО) актуальными являются проблемы оценки качества программного обеспечения. Одним из важных способов улучшения качества программного обеспечения в соответствии с требованиями пользователей программной продукции является ее стандартизация и аттестация работы программного обеспечения; контроль за внедрением и соблюдением стандартов. Поэтому специалист по программному обеспечению информационных технологий должен уметь оценивать программного обеспечения с точки зрения его стандартизации и практической пригодности в различных предметных областях. Создание конкурентоспособной программной продукции невозможно без использования соответствующих стандартов на всех этапах ее разработки.

Стандарты как нормативно–технические документы устанавливают комплекс норм, правил, требований к объекту стандартизации. Применение стандартов наряду с улучшением качества ПО способствует повышению развития информатизации процессов, росту эффективности внедрения и эксплуатации программных средств и устраняет разнобой при создании их различными разработчиками.

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