ГОСТР 53195.5—2010
В.5Верификация и модификация
В.5.1 Вероятностноетестирование
Пр име ча ние — Ссылка на данный метод/средствоприведена в ГОСТ Р 53195.4 (таблицыА.5. А.7 и А.9).
Цель: получение количественных показателей надежности исследуемой программы.
Описание: количественные показатели могут быть получены с учетом относительных уровней доверия и
значимости. В их состав входят:
- вероятность ошибки при запросе:
- вероятность ошибки в течение определенного периода времени:
- вероятность последствий ошибки.
Из этих показателей могут быть получены другие показатели, например:
- вероятность безошибочной работы:
- вероятность живучести;
- доступность:
- среднее время наработки на отказ (MTBF) или частота отказов;
- вероятность безопасного исполнения.
Вероятностные показатели основываются либо на статистических испытаниях, либо на опыте эксплуата
ции. Как правило, число тестовых примеров или наблюдаемых практических примеров очень велико. Обычно
тестирование в режиме запросов занимает значительно меньше времени, чем в непрерывном режиме работы.
Для формирования входных данных тестирования и управления выходными данными тестирования обыч
но используются инструменты автоматического тестирования. Крупные тесты прогоняются на больших централь
ных компьютерах с имитацией соответствующей периферии. Тестируемые данные выбираются с учетом как сис
тематических. так и случайных ошибок АС. Например, общее управление тестированием гарантирует профиль
тестируемых данных, тогда как случайный выбор тестируемых данных может управлять отдельными тестовыми
примерами болев детально.
Индивидуальные средства для тестирования, выполнение тестирования и управление тестированием
определяются детализированными целями тестирования. Другие важные условия задаются математическими
предпосылками, которые должны быть соблюдены, если оценка тестирования удовлетворяет заданным целям
тестирования.
Из опыта эксплуатации также могут быть получены вероятностные представления поведения любого тести
руемого обьекта. Если соблюдаются одинаковые условия, то к оценкам результатов тестирования может быть
применен одинаковый математический аппарат.
При использовании этих методов достаточно сложно продемонстрировать на практике сверхвысокие
уровни надежности.
Более подробное описание данного метода.’средства приведено в [182. 183].
В.5.2 Регистрация и анализ данных
П р и м е ч а н и е — Ссылка на данный метод/средсгео приведена в ГОСТ Р 53195.4 (таблицы А.5 и А.8).
Цель, документирование всех данных, решений и разумного обоснования программных провхтов для обес
печения верификации, оценки, подтверждения соответствия и эксплуатации.
Описание: в процессе всего проектирования разрабатывается подробная документация, в которую входят:
- тестирование, выполняемое на каждом программном модуле;
- решения и их обоснования.
- проблемы и их решения.
В процессе проектирования и по завершении проекта эта документация может быть проанализирована
на наличие широкого набора информации. В частности, такая информация, использовавшаяся в качестве обо
снования три принятии конкретных решений в процессе разработки проекта и очень важная для обслуживания
вычислительных систем, не всегда известна инженерам по эксплуатации.
Более подробное описание данного метода/средства приведено в [184].
В.5.3Тестирование интерфейса
П р и м е ч а н и е — Ссылка на данный метод/средство приведена в ГОСТ Р 53195.4 (таблица А.5).
Цель: обнаружение ошибок в интерфейсах подпрограмм.
Описание: возможно применение нескольких уровней детализации или полноты тестирования. К наибо
лее важным уровням относится тестирование:
- всех интерфейсных переменных с их предельными значениями:
- всех отдельных интерфейсных переменных с их предельными значениями с другими интерфейсными
переменными с их нормальными значениями;
- всех значений предметной области каждой интерфейсной переменной с другими интерфейсными пере
менными с их нормальными значениями;
- всех значений всех переменных в разных комбинациях (возможно только для небольших интерфейсов):
- каждого вызова каждой подпрограммы, уместного при специфицированных условиях тестирования.
57