OBuice число апвртороВ

Рнс. 3.9. Фактическое число ошибок в зависимости от величины модуля. Прямые линии регрессии проведены через начало координат.

Зависимость числа ошибок от величины модуля, полученная для Проекта 3 (рис. 3.9), показывает, что более крупные модули действительно содержат большее количество ошибок, что, естественно, затрудняет их своевременное выявление. Корреляция между числом ошибок и величиной модуля становится более очевидной, если разбить все модули на подсистемы по их функциональному назначению в соответствии с архитектурой Проекта 3. На основе сравнения прямых регрессии, изображенных на рис. 3.9, могут быть сделаны следующие выводы:

- величина коэффициентов корреляции наилучших линейных оценок может принимать значения от 0,541 (минимального) до 0,945 (максимального);

- наилучшая линейная оценка для всех подсистем составляет от 10 до 20 ошибок на 1000 операторов исходного текста на языке ДЖОВИАЛ

) Включая исполняемые и неисполняемые операторы, но не включая комментарии.

7 С.2 4 Dfi Ofi W и и W IB Zja 2,Z Zfi Щ- CJ 0,5 0,7 0,g U- 7.3 IS 17 1,9 2.1 2,3 2ff

Ъкш onepamofioS текста ш шЗут

Рис. 3.10. Среднее число эксплуатационных ошибок для сгруппированных по величине модулей (Проект 3).

Анализ причин ошибок, зафиксированных при эксплуатации Проекта 3, позволяет выявить еше один существенный момент, связанный с размером программ. Оценка среднего числа ошибок для модулей, сгруппированных по размерам, показывает, что большие (более 1000 операторов исходного текста) модули содержат больше ошибок, выявляемых прн эксплуатации) (рис. 3.10). В то же время данные, полученные до начала эксплуатации, не дают основания считать, что большие модули более подвержены ошибкам. Согласно данным, до начала эксплуатации зависимость числа ошибок от величины модуля является линейной.

) Представление пользователя о надежности модуля чаще всего связывается с общим числом ошибок в последнем.

О 0,Z Oft OJS m W 12 Ifi IE W Zft Z.Z Z/t 0,3 0,5 0.7 CS 1.1 1.3 1,5 1,7 1,9 Z.I Z.3 Z5

Тысячи операторов текста на модуль

Рис. 3.11. Предэксплуатационньте и эксплуатационные ошибки для сгруппированных по величине модулей (Проект 3).

Для окончательных выводов собранных данных оказалось все же недостаточно. Однако полученные результаты позволяют предположить существование нелинейной зависимости оценки числа ошибок от величины модуля (рис. 3.11). Эта гипотеза еше раз подтверждает ту точку зрения, согласно которой отладка и тестирование небольших по величине 5oдyлeй не вызывают особых затруднений в отличие от крупных модулей. Это приводит к тому, что последние сдаются в эксплуатацию при наличии в них остаточных, не обнаруженных ошибок.

3.3. Феноменологический подход

к проблеме надежности . . .. программного обеспечения

Руби и Гартвик [6] предложили .метол количественной оценки надежности программного обеспечения, в основе которого лежат положения, сформуй