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

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

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

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

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

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

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

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

,

где: - оценка условного математического ожидания числа ошибок в ПО; , k=16…20 – факторы, влияющие на число ошибок N; в частности: Z₁ – длина программы; Z₂ и Z₃ – язык и способ программирования; Z₄, Z₅, Z₆ – стаж работы, образовательный ценз и загруженность программиста; Z₇ … Z₁₆ – число циклов, условных операторов, операций ввода-вывода, прерываний, ветвлений, сопряжений с программами и разными техническими устройствами и т.д.; - значимые (неслучайно отличающиеся от нуля) коэффициенты, определяемые методом наименьших квадратов.

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

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

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