Статистическая модель оценки качества программного обеспечения
Предложено несколько моделей для описания процесса появления отказов в сложных системах программного обеспечения.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
Г.В. Плеханова)
СТАТИСТИЧЕСКАЯ МОДЕЛЬ ОЦЕНКИ КАЧЕСТВА
ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
Возрастание сложности программных систем приводит к тому, что внедрение полностью
бездефектного программного обеспечения (ПО) практически невозможно [1, 2]. <...> Опыт внедрения
и эксплуатации показывает, что фактор надежности ПО требует учета при разработке
и исследовании эффективности систем переработки информации. <...> Природу надежности ПО можно объяснить на основании анализа его жизненного цикла,
состоящего из следующих фаз: определение спецификаций, разработка программ, внедрение
и рабочая эксплуатация. <...> Каждая из перечисленных фаз может служить источником ошибок,
которые в конечном итоге могут существенно повлиять на надежность функционирования
системы в целом. <...> Для описания процесса появления отказов в сложных системах ПО было предложено несколько
моделей. <...> Среди наиболее важных необходимо упомянуть модель ЗелинскогоМоранды,
модель Шика-Вулвертона , экспоненциальную модель Шумана , вейбулловскую
модель и статистическую модель Миллса [3]. <...> Все упомянутые модели основываются на оценке количества оставшихся дефектов в
программе и предположении об одинаковом влиянии дефектов в программе и предложений
об одинаковом влиянии дефектов на процесс появления отказов. <...> Последнее предположение
является довольно искусственным, поскольку вполне можно представить ситуацию, когда
программа с несколькими дефектами является более надежной, чем программа, содержащая
всего один дефект, но затрагивающий часто выполняемые пути программы. <...> Другими словами,
на надежность программы влияет не только количество дефектов, но и частота их проявления. <...> Пусть
D – пространство исходных данных программы, R – пространство выходных
данных (результатов). <...> Тогда программу P можно рассматривать как оператор
P : D <...> Отказ программы происходит при обработке данных d Do (Do – отказовое множество
данных, Do D ). <...> Фактически мы имеем последовательность <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: