Автономное тестирование
Базовые документы
Верификация программного средства
Выигрыш от решения данной проблемы
Выявление заинтересованных лиц и пользователей
Выявление ограничений, налагаемых на решение
Выявление основных причин, стоящих за проблемой
Детерминированная корректность программ
Доказательство правильности программы, т. е. соответствия программы ее спецификациям
Документация разработки
Документация, обеспечивающая возможность освоения и эффективного применения программного средства
Документация, отражающая процессы жизненного цикла программ и регламентирующая требования к ней
Достижение соглашения об определении проблемы
Зрелая компания
Использование метода математического доказательства общей правильности программы
Исследовательская документация
Комплексное тестирование
Конструктивные критерии качества
Корректность обработки данных
Корректность программного средства
Корректность структуры программ
Критерии качества и корректности программного средства
Локализация, выявления и устранение программных ошибок, факт существования которых уже установлен
Модели качества процессов конструирования программного средства
Модель зрелости процесса конструирования программного обеспечения (СММ)
Модель стандарта ISO 9001:2000
Модель стандарта ISO/IEC 15504
Набор атрибутов, определяющий назначение, необходимые и достаточные функции программного средства
Начальный уровень зрелости
Незрелая компания
Определение возможных источников ограничений программного средства
Определение границ системы
Определение на что воздействует проблема и результатом чего является
Оптимизирующий уровень зрелости
Особенности решения проблем пользователя программного средства
Отладка программного средства
Повторяемый уровень зрелости
Проведение тестирования программы "сверху вниз"
Проверка программы/ее составной части путем выполнения специально подобранных контрольных примеров
Программа не компилируется или работает неправильно
Средства документирования программного обеспечения
Ссылочные документы
Стандарты и нормативные документы
Стохастическая корректность программ
Тестирование программного средства
Технологическая документация
Управляемый уровень зрелости
Фиксирование критериев оценки зрелости компании, рецепты для улучшения существующих в ней процессов
Функциональная пригодность
Функциональные критерии качества
Характеристика основных операций, доказывающих правильность программного средства
Эксплуатационная документация