Статистическая модель оценки качества программного обеспечения

программное обеспечение программные системы надежность программ вычислительные системы программно-аппаратные комплексы нелинейные уравнения компьютерные программы модели отказы

Об однозначной разрешимости краевой задачи для нагруженного уравнения параболического типа, Стратегия и управление народным хозяйством, ...

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

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт