Вспомогательные процессы жизненного цикла разработки по.
Документирование – процесс формализованного описания информации, созданный в процессе или работе ж.ц.
Управление конфигурированием – процесс применения административных и технических процедур на всем протяжении ж.ц. программных средств.
Обеспечение качества – процесс обеспечения соответств. гарантий того, что программные средства и процессы ж.ц. соответствуют установленным требованиям и утвержденным планам (QL - инженеры)
Верификация – это процесс определения того, что программное средство функционирует в полном соответствии с требованиями или условиями, реализованными в предшествовавших работах. Верификация может применятся к любым результатам работы.
Аттестация – процесс определения полноты соответствия установленных требований созданной системы их функциональным назначениям. Аттестации подвергаются любые промежуточные и завершающие продукты процессов (тестировщики).
Совместный анализ – процесс оценки состояний и результатов работ по всему проекту. Проводится в течении всего ж.ц. как на уровне управления проектом, так и на уровне реализации.
Аудит – процесс определения соответствия к требованиям, планам и условиям договора.
Решения проблем – это процесс анализа и решения проблем, которые обнаружены в ходе эксплуатации.
Модели надежности по.
Все модели надежности ПО можно разделить на 2 класса: иерархические (ГОСТ-28195-99), и математические.
Иерархические модели надежности ПО – они позволяют выполнить интегральную, количественную оценку надежности ПО, учитывая различные критерии надежности
Математические модели надежности позволяют определить оценки показателей надежности ПО, а именно: вероятность безотказной работы P(t), интенсивность отказов λ(t), математ. ожидание времени наработки на отказ, число ошибок ПО до начала тестирования.
Математические модели подходят к оценке надежности ПО, используя для этого разные характеристики ПО, а именно
Интенсивность времени между отказами ПО (модели Джилинского-Моранды, Шико-Волвертона, геометрические модели)
Внесение искусственно в ПО ошибки (модель Нилса)
Пространство входных данных (модель Нельсона)
Сложность ПО (модель Холстеда)
Сложность по.
Сложность ПО – сложность программ является одной из главных причин их ненадежности. Существуют следующие критерии оценки сложности:
-- кол-во операторов
-- цикломатическое число (число Маккейла) – вычисляется по потоковому графу программы (графическое отображение программного кода). На графах вершины являются операторы, а ребрами – связь между операторами.
G = R – V + 2, где R – ребра, V – вершины. Формулу можно использовать только для замкнутого графа. Если граф не замкнутый, то считается вручную.
Показывает 2 вещи: Сложность графа (G>15 – программный модуль необходимо разбить на части), минимальное количество тестовых проходов для тестирования программного модуля.
Проход – путь по графу от первого узла, к последнему.
Мера сложности Холстеда. Кроме измерений длины программы Холстед предложил учитывать количество операндов и число появления операторов и операндов. Ввел следующие меры:
ᵑ1 – Число различных операторов;
ᵑ2 – Число различных операндов;
ᵑ = ᵑ1+ᵑ2
N1 – число появлений операторов;
N2 – число появлений операндов;
N =N1 + N2