ГОСТРМЭК 62279—2016
подсеянных ошибок оценивается как отношение числа найденных реальных ошибок к общему числу реальных
ошибок. Это дает возможность оценить количество остаточных ошибок и. тем самым, остальную работу по тести
рованию.
Найденные подсеянные ошибки
Найденные реальные ошибки
Обшве число подсеянных ошибок
Общее число реальных ошибок
Обнаружение всех подсеянных ошибок может указывать либо на адекватность тестового примера, либо на
то. что подсеянные ошибки было слишком легко найти. Ограничениями данного метода являются: порядок полу
чения любых полезных результатов, типы ошибок. Также необходимо, чтобы позиции подсеивания отражали
ста тистическое распределение реальных ошибок.
Если используется подсеивание ошибок, то расположение всех ошибок должно быть зарегистрировано, и
специалист по подтверждению соответствия должен гарантировать, что все подсеянные ошибки были удалены
перед выпуском программного обеспечения.
D.22 Анализ дерева событий
Цель. Моделирование с помощью диаграмм последовательности событий, которая может возникнуть в си
стеме после появления инициализирующего события и указать на возможные опасные последствия.
Описание. В верхней частидиаграммы записывается последовательность условий, относящихся к формиро
ванию последовательности событий, следующих за инициализирующим событием, являющегося целью анализа.
Начиная с инициализирующего события проводится прямая линия к первому условию последовательности. На
личие ветвей «да» и «нет» диаграммы указывает на зависимость будущего события от условий. Каждая из двух
ветвей продолжается до следующего условия. Однако не все условия выполняются на этих ветвях. Какая-то из них
продолжится до окончания последовательности условий, но каждая ветвь дерева, построенная таким спосо бом.
представляет возможную последовательность. Дерево событий может быть использовано для вычисления
вероятностей различных последовательностей, основываясь на значениях вероятностей условий и их числе в
последовательности.
D.23 Инспекция программ по Фагану
Цель. Выявить ошибки на всех стадиях разработки программы.
Описание. «Формальный» аудит документов обеспечения качества нацелен на нахождение ошибок и пропу
сков. Инспекционный процесс состоит из пяти стадий; планирование, подготовка, инспекция, доработка и контроль
результатов. У каждой из этих стадий существует своя собственная отдельная цель. Разработка всей системы
(спецификация, проект, кодирование и тестирование) должна быть проинспектирована.
D.24 Программирование с проверкой ошибок
Цель. Обнаружение ошибок, оставшихся при проектировании программных средств. 8 процессе выполнения
программ с целью предотвращения критичных для безопасности отказов систем, и продолжение правильного вы
полнения программы.
Описание. В методе программирования утверждений уже заложена идея проверки предусловий (до выпол
нения последовательности операторов начальные условия проверяют на соответствие) и постусловий (проверяют
результаты после выполнения последовательности операторов). Если предусловия или постусловия не соблюда
ются. то выдается сообщение об ошибке.
Пример
—
assert < pre-condition>;
action 1;
action x;
assert < post-condition>;
D.25 Анализ влияния ошибок программного обеспечения (SEEA)
Цель. Идентифицировать компоненты программного обеспечения, их критичность; предложить средства для
обнаружения ошибок программного обеспечения и улучшения устойчивости программного обеспечения; оценить
объем усилий по подтверждению соответствия, необходимый для различных компонентов программного обеспе
чения.
Описание. Анализ включает три фазы.
- Идентификация жизненно важных компонентов программного обеспечения.
Определение глубины анализа {на уровне отдельной командной строки, группы команд, компонента, и т. д.),
необходимого для каждого компонента программного обеспечения из его спецификации.
- Анализ ошибок программного обеспечения.
76