Метрология, качество и сертификация программного обеспечения

Московский международный институт эконометрики, информатики, финансов и права. – М. , 2002. – 69 с.
Метрология
Критерии качества комплексов программ
Объединенная схема взаимодействия критериев качества программ, основных факторов и понятий качества
Схема взаимодействия основных критериев качества программ
Зависимость эффективности и затрат на единицу времени от этапов жизненного цикла комплексов программ
Корректность программных средств
Основные виды корректности комплексов программ
Схема взаимодействия компонент, определяющих обнаруживаемые отклонения программ от эталонов
Типы эталонов и методы проверки корректности программ
Методы получения эталонных значений
Блок-схема системы верификации программных модулей
Общая схема отладки программы
Классификационная схема ошибок
Сложность программного обеспечения
Основные виды сложности
Схема взаимодействия показателей вычислительной сложности и основные факторы, влияющие на их значения
Определение характеристик сложности
Надежность программных средств
Сбор данных, необходимых для расчета матрицы вероятностей Р
Классификация моделей надежности ПС.
Эффективность
Разработка программных средств
Сертификация