Введение
1. Обзор основных методов, технологий и стандартов, определяющих качество ПО 11
1.1 Введение в определение уровня программных продуктов стандарты и программные продукты case-технологии Capability maturity model (СММ) 15
Iso/1ec 15504 (spice) 18
Iso 9126:1991 (гост p исо / мэк 9126-93) 24
Показатели качества ПО 26
1.2 Обзор методов анализа программного обеспечения 37
Методологии стандарта iso 14598 41
Методология и инструментарий ibm rational 42
Выводы 44
2. Методы принятия решения о качестве ПС 46
Введении 46
2.1. Автоматизированная система градации стандартов 50
Анализ синтаксиса 53
Анализ семантики 59
2.2. Структурировании функции качества 72
Идеология метода сфк 73
Ключевые элементы и инструменты сфк: 76
Дом качества (дк) 77
2.3. Методы верификации пп 93
2.4. Методы принятия решения 107
Выводы 119
3. Реализация методов проедложенных моделей 129
Введение 129
3.1. Автоматизированная система градации стандартов 132
3.2. Программный продукт hqeasy 134
3.3. Методика оптимальных статистических решений 143
3.4. Методика тест-циклов 145
Выводы 158
4. Оценка эффективности и корректности практических исследований 159
Введение 159
4.1. Описание проірамміюго комплекса 160
4.2. Экспериментальное приме! Іеіше системы 163
Выводы 171
Заключение 172
Список использованной литературы 173
Приложение ; 181
