Восточно-сибирский государственный технологический университет

КАФЕДРА СИСТЕМ ИНФОРМАТИКИ

Э.В. Балданова

Метрология программного обеспечения

Учебное пособие для студентов специальности

220400 «Программное обеспечение вычислительной техники и автоматизированных систем»

Улан-Удэ

ВСГТУ

2003

Содержание

Введение 3

1. Роль стандартизации в развитии разработок в области информационных технологий. 4

1.1. Нормативно-методическая база стандартизации ПО 4

1.2. Основные направления стандартизации процессов разработки программных средств. 7

2. Стандартизация информационных технологий: состояние и перспективы развития. 10

2.1. Современное состояние стандартизации в мире 10

2.2. Состояние и проблемы стандартизации в России 12

3. Система показателей качественных и количественных характеристик программного продукта 15

3.1. Стандартизация характеристик качества 15

3.2. Выбор показателей качества 16

3.3. Оценки качества ПО 17

4. Модели и метрики оценки качества ПО 20

4.1. Оценка сопровождаемости программ. 20

4.2. Корректность 21

4.3. Метрики сложности программ 21

4.3.1. Метрики размера программ 22

4.3.2. Метрики сложности потока управления программ. 22

3.4.3. Метрики сложности потока данных 24

4.4. Модели надежности программ 26

4.4.1. Модели надежности ПО по структуре времени 27

4.4.2. Методы оценки числа оставшихся в ПО ошибок, основанные на метриках Холстеда 34

4.4.3. Методы оценки показателей надежности ПО, основанные на моделях «посева» и разметки ошибок и на моделях структуры входных данных. 36

4.4.4. Методы оценки, основанные на моделях структуры входных данных 37

4.4.5. Текстовые модели надежности ПО 42

4.5. Метрики стилистики и понятности программ 45

4.6. Метрика изменения длины программной документации. 47

4.7. Методы проведения контроля за качеством ПО 48

5. Сертификация программного обеспечения 50

5.1. Понятие сертификации 50

5.2. Виды сертификации программного обеспечения 52

5.3. Органы сертификации программного обеспечения в Российской Федерации 55

Список используемой литературы 58

Введение

Дисциплина “ Метрология, стандартизация и сертификация» является одной из базовых общепрофессиональных дисциплин для студентов, овладевающих специальностью 220400 “Программное обеспечение вычислительной техники и автоматизированных систем”. Основная цель дисциплины состоит в том, чтобы выработать у студентов способность системного рассмотрения задач оценки качества программного обеспечения и приобрести навыки использования конструктивных методов решения метрологических задач. Она опирается на знания, приобретенные студентами при изучении курсов «Технологии разработки программного обеспечения», «Базы данных», «Теория вычислительных процессов и структур» и др.

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

В результате изучения дисциплины студенты должны знать основные положения метрологии ПО и основные принципы повышения качества на этапах проектирования, усовершенствования и модификации. Также уметь оценивать качество ПО, в том числе эффективность и надежность.