Модель ошибки сертифицированного по

Общее число N ошибок в разработанном и принятом в эксплуатацию программном обеспечении зависит от большого количества аналоговых и дискретных факторов, наиболее значимыми из которых являются:

— длина программы, измеряемая числом операторов (обычно 10 – 12 ошибок на 1000 операторов программы универсальной ЭВМ и 20 – 30 ошибок на 1000 операторов ПО РВ);

— способ программирования ПО («сверху вниз» или «снизу вверх»);

— алгоритмический язык программирования (чем выше уровень языка и он более структурирован, тем меньше длина программы и меньше ошибок);

— квалификация программистов (опыт программирования, уровень знаний и умений, средняя загруженность программистов, их собранность и аккуратность и др.);

сложность программного обеспечения (характеризуется числом: циклов, условных операторов, операций ветвления, связей и сопряжений с другими программами и техническими устройствами, вычислительных и логических операторов, операций ввода-вывода, прерывания и др.).

Анализ больших ПО, содержащих несколько сот программ с суммарной длиной 20…100 тыс. операторов, показал линейный характер зависимости случайного числа N оставшихся в программах ошибок от примерно 16 – 20 аналоговых и дискретных факторов. Статистическая обработка полученных «экспериментальных» данных позволила построить феноменологическую модель оценки среднего числа ошибок в сертифицированном ПО

,

где: — оценка условного математического ожидания числа ошибок в ПО; , k=16…20 – факторы, влияющие на число ошибок N; в частности: Z1 – длина программы; Z2 и Z3 – язык и способ программирования; Z4, Z5, Z6 – стаж работы, образовательный ценз и загруженность программиста; Z7 … Z16 – число циклов, условных операторов, операций ввода-вывода, прерываний, ветвлений, сопряжений с программами и разными техническими устройствами и т.д.; — значимые (неслучайно отличающиеся от нуля) коэффициенты, определяемые методом наименьших квадратов.

Приведенная корреляционная модель позволяет приближенно оценивать среднее число N(0) скрытых ошибок в ПО, которое сдано в эксплуатацию. Знание числа N(0), в свою очередь, позволяет организовать эффективное сопровождение ПО на этапе его эксплуатации.

Вместе с тем, построение корреляционной зависимости связано с значительными трудностями по накоплению экспериментальных данных о числе выявленных ошибок и «измерении» факторов. Определенные сложности возникают и при математической обработке накопленных выборок малого объема для дискретных переменных Z с существенно разными значениями уровней дискретизации.

Последнее обстоятельство не позволяет рассматривать оценку как несмещенную, состоятельную и тем более эффективную. Наконец, отметим, что рассматриваемая корреляционная зависимость получена в конце 80-ых годов по экспериментальным данным, относящимся к 5 крупным ПО американских вычислительных систем (Тейер Т., Липов М., Нельсон Э.). Поэтому формальное применение корреляционной модели к современным ПО (и особенно ПО РВ) вряд ли оправдано и целесообразно.

Число ошибок N(0), оставшихся в принятом в эксплуатацию ПО, можно оценить по результатам достаточно тонкого вычислительного эксперимента. Для этого введем в ПО некоторое число искусственных ошибок, затем организуем определенное количество прогонов программ и выявим , искусственных и собственных (имевшихся в ПО до момента ) ошибок.

Доля обнаруженных искусственных ошибок вероятно равна доле собственных ошибок ПО. Отсюда имеем: . Подобный прием позволяет получать удовлетворительную оценку N(0), если искусственные ошибки достаточно типичны, и распределены также, как и собственные ошибки ПО.

Рандомно подобранные статьи с сайта:

Моделирование в 3ds Max и Maya. Типичные ошибки, методы их поиска и устранения


Похожие статьи:

  • Модели поведения ошибок функционирующего по

    Принятое в эксплуатацию ПО содержит случайное число N(0) скрытых ошибок (дефектов), которые впоследствии проявляют себя в случайные моменты процессорного…

  • Простые интуитивные модели

    В поисках средств прогнозирования надежности программного обеспечения было разработано и несколько чрезвычайно простых моделей для оценки числа ошибок….

  • Диагностическая модель уу мп системы

    Под диагностической моделью понимают формальное описание объекта диагностирования и задание модели дефектов на языке этого описания. Ниже исследуется…

admin