- •Содержание
- •Введение
- •Раздел 1 общие положения о стандартах Тема 1 Основные понятия
- •Нормативные документы по стандартизации и виды стандартов
- •1.2 Схема классификации стандартов в области информационных технологий
- •1.3 Стандарты в области программного обеспечения
- •1.4 Стандарты комплекса гост 34 на создание и развитие автоматизированных систем
- •1.5 Сертификация
- •Тема 2 Организации, разрабатывающие стандарты
- •2.2 Международные организации, разрабатывающие стандарты
- •2.3 Закрепление интеллектуальной собственности в Республике Беларусь
- •2.4 Внутрифирменные (внутрикорпоративные) стандарты
- •Раздел 2 жизненный цикл программного обеспечения Тема 3 Систематизация процессов жизненного цикла
- •3.1 Жизненный цикл программного обеспечения и его стандартизация
- •3.2 Систематизация процессов жизненного цикла программного средства
- •3.3 Основные процессы жизненного цикла программного средства
- •3.4 Вспомогательные и организационные процессы жизненного цикла программного средства
- •Тема 4 Основные модели жизненного цикла
- •4.1 Классический жизненный цикл программных средств
- •4.2 Макетирование
- •4.3 Стратегии конструирования программных средств
- •4.4 Спиральная модель жизненного цикла программных средств
- •4.5 Компонентно–ориентированная модель
- •Раздел 3 стандарты документирования программных средств Тема 5 Общая характеристика проблем и задач документирования программного обеспечения
- •5.1 Проблемы и задачи создания программной документации
- •5.2 Общая характеристика состояния в области документирования программных средств
- •5.3 Основные недостатки еспд
- •Тема 6 Единая система программной документации
- •6.1 Общая характеристика Единой системы программной документации
- •6.2 Виды программ и программных документов (гост 19.101–77 еспд)
- •6.3 Стадии разработки (гост 19.102–77 еспд)
- •6.4. Краткая характеристика некоторых госТов по программной документации
- •Раздел 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 Сертификация комплексов программ
- •Тема 10 Обеспечение качества и надежности в процессе разработки сложных программных средств
- •10.1 Концепции повышения надежности в процессе разработки сложных программных средств
- •10.2 Схема проектирования разработки программного обеспечения
- •10.3 Требования к технологии и средствам автоматизации разработки сложных программных средств
- •10.4 Качество программного обеспечения
- •Раздел 5 тестирование программного обеспечения Тема 11 Основные понятия
- •11.1 Проблематика тестирования программного обеспечения
- •11.2 Основные определения
- •11.3 Экономика тестирования
- •11.4 Аксиомы (принципы) тестирования
- •Тема 12 Тестирование надежности программного обеспечения
- •12.1 Философия тестирования
- •12.2 Тестирование модулей
- •12.3 Комплексное тестирование
- •12.4 Организация и этапы тестирования при испытаниях надежности сложных программных средств
- •Тема 13 Тестирование программного обеспечения
- •13.1 Тестирование программного обеспечения
- •13.2 Место и цель этапа тестирования программного обеспечения
- •13.3 Виды тестирования
- •13.4 Передовые технологии в тестировании (автоматизация тестирования)
- •Тема 14 Виды тестирования программного обеспечения
- •14.1 Функциональные виды тестирования
- •14.2 Нефункциональные виды тестирования. Тестирование производительности
- •14.3 Связанные с изменениями виды тестирования
- •14.4 Тестирование удобства пользования
- •14.5 Тестирование на отказ и восстановление
- •14.6 Конфигурационное тестирование
- •Раздел 6 case – инструментарий автоматизации анализа, проектирования и разработки программного обеспечения Тема 15 Классификация case – инструментария
- •15.1 Классификация по типам
- •15.2 Классификация по категориям
- •15.3 Классификация по уровням
- •15.4 Эволюция case – инструментария
- •Тема 16 Концептуальные основы case – технологий
- •16.2 Состав и структура и функциональные особенности case–инструментария
- •16.3 Поддержка графических моделей
- •16.4 Поддержка процесса проектирования и разработки
- •Литература
- •246019, Г. Гомель, ул. Советская, 104.
Министерство образования Республики Беларусь
Учреждение образования «Гомельский государственный университет
имени Франциска Скорины»
Н.Б. ОСИПЕНКО
СТАНДАРТИЗАЦИЯ И СЕРТИФИКАЦИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
ТЕКСТЫ ЛЕКЦИЙ
для студентов математических специальностей
Гомель 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
Содержание
ВВЕДЕНИЕ 5
РАЗДЕЛ 1 ОБЩИЕ ПОЛОЖЕНИЯ О СТАНДАРТАХ 6
Тема 1 Основные понятия 6
Тема 2 Организации, разрабатывающие стандарты 12
РАЗДЕЛ 2 ЖИЗНЕННЫЙ ЦИКЛ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ 21
Тема 3 Систематизация процессов жизненного цикла 21
Тема 4 Основные модели жизненного цикла 28
РАЗДЕЛ 3 СТАНДАРТЫ ДОКУМЕНТИРОВАНИЯ ПРОГРАММНЫХ СРЕДСТВ 40
Тема 5 Общая характеристика проблем и задач документирования программного обеспечения 40
Тема 6 Единая система программной документации 43
РАЗДЕЛ 4 НАДЕЖНОСТЬ И КАЧЕСТВО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ 54
Тема 7 Основные понятия и показатели надежности программного обеспечения 54
Тема 8 Дестабилизирующие факторы и методы обеспечения надежности функционирования программных средств 67
Тема 9 Модели надежности программного обеспечения 80
Тема 10 Обеспечение качества и надежности в процессе разработки сложных программных средств 101
РАЗДЕЛ 5 ТЕСТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ 115
Тема 11 Основные понятия 115
Тема 12 Тестирование надежности программного обеспечения 119
Тема 13 Тестирование программного обеспечения 134
Тема 14 Виды тестирования программного обеспечения 139
РАЗДЕЛ 6 CASE – ИНСТРУМЕНТАРИЙ АВТОМАТИЗАЦИИ АНАЛИЗА, ПРОЕКТИРОВАНИЯ И РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ 150
Тема 15 Классификация CASE – инструментария 150
Тема 16 Концептуальные основы CASE – технологий 154
ЛИТЕРАТУРА 162
Введение
В области инженерии программного обеспечения (ПО) актуальными являются проблемы оценки качества программного обеспечения. Одним из важных способов улучшения качества программного обеспечения в соответствии с требованиями пользователей программной продукции является ее стандартизация и аттестация работы программного обеспечения; контроль за внедрением и соблюдением стандартов. Поэтому специалист по программному обеспечению информационных технологий должен уметь оценивать программного обеспечения с точки зрения его стандартизации и практической пригодности в различных предметных областях. Создание конкурентоспособной программной продукции невозможно без использования соответствующих стандартов на всех этапах ее разработки.
Стандарты как нормативно–технические документы устанавливают комплекс норм, правил, требований к объекту стандартизации. Применение стандартов наряду с улучшением качества ПО способствует повышению развития информатизации процессов, росту эффективности внедрения и эксплуатации программных средств и устраняет разнобой при создании их различными разработчиками.
Тексты лекций ставят своей целью оказание помощи студентам в усвоении знаний по требованиям к стандартам на разработку и использование, а также по оценке качества функционирования программного обеспечения и средств вычислительной техники.
Раздел 1 общие положения о стандартах Тема 1 Основные понятия
1.1 Нормативные документы по стандартизации и виды стандартов.
1.2 Схема классификации стандартов в области информационных технологий.
1.3 Стандарты в области программного обеспечения.
1.4 Стандарты комплекса ГОСТ 34 на создание и развитие автоматизированных систем.
1.5 Сертификация