ГОСТ Р 51901.5—2005
d) общие элементы:
- проверка соответствия результатов требованиям спецификации по эффективности системы,
- определение рекомендуемых действий для изменения конфигурации системы и ее перепроектирования,
- завершающие действия.
- документирование аналитических процессов и заключительных результатов.
А.2.3.4 Достоинства
a) метод момента:
- проектировщик может быть уверен, что система имеет установленную надежность, если для возможных
изменений характеристик компонентов аналитические результаты дают значения характеристик системы в пре
делах, установленных в спецификации.
- аналитические результаты обеспечивают более точную интервальную оценку, чем WCA;
b
) метод Монте Карло:
- проектировщик может быть уверен, что система имеет установленную надежность, если для возможных
изменений характеристик компонентов, аналитические результаты дают значения характеристик системы в пре
делах. установленных в спецификации.
- метод применяют при автоматизированном проектировании.
- может быть смоделировано любое распределение вероятностей.
- полученные результаты обычно близки к оптимальным значениям.
- нет необходимости в математических вычислениях.
А.2.3.5 Ограничения:
a) метод момента:
- необходимы математические модели, пригодные для дифференцирования.
- для получения достоверных аналитических результатов должны быть учтены все компоненты системы.
- необходима сложная математическая обработка,
- в качестве распределения вероятностей используется нормальное распределение:
b
) метод Монте Карло:
- для моделирования необходимы математические модели,
- для получения достоверных аналитических результатов должны быть рассмотрены все компоненты
системы.
- моделируется большое количество копий системы.
А.2.4 Разработка надежности программного обеспечения
А.2.4.1 Описание и цель
Целью разработки надежности программного обеспечения (SRE) является прогнозирование надежности
программного обеспечения на основе статистических методов. Проблема заключается в том. что программное
обеспечение не отказывает, а выдает заранее определенные правильные или ошибочные результаты для дан
ных входа. Поэтому в основе SRE лежит предположение, что программное обеспечение действует не случайным
образом, а конфигурация системы и вид операции (например, входные данные) могут рассматриваться как слу
чайные условия.
А.2.4.2 Применение
SRE применяют в процессе испытаний при принятии решения о прекращении испытаний (решение, что
критерий приемки выполнен) или для прогнозирования надежности при эксплуатации. Обычно данные отбирают в
группах, например количество отказов за указанное время, поскольку очень трудно получить реальные нара ботки
для отказов.
Большинство прикладных программ основаны на предположении, что программная ошибка может быть
описана негомогенным процессом Пуассона. Это означает, что программные ошибки происходят в статистически
независимые моменты времени. Наработки подчиняются экспоненциальному распределению, а интенсивность
отказов изменяется во времени. Обычно используют убывающую интенсивность отказов. Это означает, что ошиб ки.
как только они выявлены, эффективно устраняются без введения новых ошибок. Главная цель SRE заключа ется в
том. чтобы определить форму функции интенсивности отказов и оценить ее параметры по наблюдаемым данным.
Как только функция интенсивности отказов определена, могут быть найдены такие показатели надеж ности как:
- общее количество отказов;
- количество остающихся отказов;
- время до следующего отказа;
- остаточное время испытаний (до принятия решения):
- максимальное количество отказов (относительно срока службы).
Другие подходы принимают во внимание архитектуру программного обеспечения, его функциональные
модули, модель их взаимодействия и т.л. (например, марковский анализ). Затем данные отбирают и определяют
оценки для модулей.
А.2.4.3 Ключевые элементы:
- определение показателей надежности и целей:
- определение используемой модели надежности программного обеспечения;
37