Реклама:

В (3.11) входят три составляющие, каждая из которых при априорном анализе определяется в значительной степени субъективно, в основном, на базе экспертных оценок. Дисперсия такого расчета может быть оценена путем последовательного определения дисперсии вероятности ошибки в операторах, дугах графа -'программы, модулях, группах программ и во всем комплексе. Весьма велики дисперсия вероятностей первичных ошибок в операторах и дисперсия вероятностей возникновения отказовых ситуаций вследствие этих ошибок. Каждая из этих вероятностей может изменяться в очень широком диапазоне (два-три порядка) в зависимости от типа оператора. В результате рассчитанные значения надежности исполнения программных модулей будут характеризоваться случайной ошибкой, значительно превышающей величину, определяемой надежности. Поэтому метод 'аналитического расчета надежности -программных комплексов на базе вероятностных характеристик операторов программ и их графовых моделей не позволяет получить данные, приходные для практического использования в качеств оценок их надежности. Однако подобные данные могут быть эффективно использованы для расчета профиля программы я планирования систематического, тестирования.

1 Характеристики тестирования структуры ациклических программных модулей. В §2.2: отмечалось, что около половины программные модулей не содержит циклы. Для выявления основных закономерностей И оценки полноты тестирования в зависимости от ряда факторов проведен расчет характеристик, качества тестирования [8, 421 абстрактных ациклических программных модулей (см. рис. 2.3). Использовались графы программ, содержавшие, в основном, 32 вершины, что соответствует модулям размером, около 300 предложений нё автокоде, а также графы с четырьмя вершинами ветвления. Определялась вероятность проявления необнаруженной ошибки О (выражение (3.5)) в зависимости от суммарной сложности тестов | при исполнении программы со случайными исходными Данными. :

При фиксированной длительности дуг графов программ стратегии тестирования 1 и 2 полнретью. совпадают и .далее представляются как стратегия 1. Предполагалось (8, 421, «то после тестирования по любому маршруту Каждой дуги Графа программы вероятность наличия ршибкн в этой ■ дуге 0^ ■ что' соответствует оптимистической гипотезе Уц.

В первой группе расчетов вероятности ветвления в вершинках графа принимались равными 0,5, а затем отдельно анализировалось влияние асимметрии вероятностей при ветвлениях.

' Влияние Типов графов программ на вероятность проявления ошнб: ки иллюстрирует рис. 3.4. Маршруты выделялись по критериям XI и %*. а упорядочивались по убыванию их длины. При одинаковом (32) числе вершин ветвления в программах .сложность тестов, обеспечивающих до-' статочно низкую вероятность. <2.. различается почти иа два порядка (60-г1020) в зависимости от структуры пррграммыхи критерия выделения маршрутов. При критерии х« суммарная сложность тестов, необходимых для (Полного тестирования программ,, имеющих Структуры Г, и Г» различается в 6,5 раз. Сравнительно небольшой разброс длин мар-


⇐ Предыдущая страница| |Следующая страница ⇒