ГОСТРМЭК 62279—2016
D.40 Требования к реализации
Цель. Установить, что требования к реализации программного обеспечения были удовлетворены.
Описание. Выполняется анализ, как системы, так и спецификаций требований программного обеспечения с
целью спецификации всех общих и конкретных, явных и неявных требований к функционированию.
Каждое требование к реализации анализируется по очереди для того, чтобы определить:
- критерии успешности результата, который следует получить;
- возможность получения меры критерия успешности;
- возможную точность таких результатов измерения:
- стадии проектирования, на которых эти результаты измерения могут быть оценены;
- стадии проектирования, на которых могут быть получены эти результаты измерений.
Затем анализируется целесообразность каждого требования к реализации для получения списка требова
ний к реализации, критериев успешности результата и возможных результатов измерений. Основными целями
являются:
- связь каждого требования к реализации, по крайней мере, с одной мерой;
- выбор (где это возможно) точных и эффективных мер. которые могут быть использованы на самых ранних
стадиях разработки:
- спецификация важных и факультативных требований к реализации и критериев успешности результата:
- использование (по возможности) преимуществ применения одной меры для нескольких требований к ре
ализации.
D.41 Вероятностное тестирование
Цель. Получение количественных показателей надежности исследуемой программы. Эти показатели могут
быть получены с учетом относительных уровней доверия и значимости и должны иметь следующий вид:
- вероятность отказа по запросу;
- вероятность отказа в течение определенного периода времени;
- вероятность последствий ошибки.
Из этих показателей могут быть получены другие показатели, например:
- вероятность безотказной работы;
- вероятность сохранения работоспособности;
- доступность;
- MTBF или частота отказов;
- вероятность безопасного исполнения.
Описание. Вероятностные соображения основываются либо на статистических испытаниях, либо на опыте
эксплуатации. Обычно количество тестовых примеров или наблюдаемых практических примеров очень велико.
Для формирования входных данных тестирования и управления выходными данными тестирования обычно
используются инструменты автоматического тестирования. Крупные тесты прогоняются на больших центральных
компьютерах с имитацией соответствующей периферии. Тестируемые данные выбираются с учетом как система
тических. так и случайных ошибок. Например, общее управление тестированием (систематические ошибки) гаран
тирует профиль тестируемыхданных, тогда какслучайный выбор тестируемых данных гложет управлять отдельны ми
тестовыми примерами более детально.
Как указано выше, индивидуальные средства для тестирования, выполнение тестирования и управление те
стированием определяются подробными целями тестирования. Другие важные условия задаются математически ми
предпосылками, которые должны быть соблюдены, если оценка тестирования удовлетворяет заданным целям
тестирования.
Из опыта эксплуатации также могут быть получены вероятностные характеристики поведения любого те
стируемого объехга. Если соблюдаются одинаковые условия, то к оценкам результатов тестирования гложет быть
применен одинаковый математический аппарат.
D.42 Моделирование процесса
Цель. Тестирование функции программной системы вместе с ее интерфейсами во внешнем окружении, не
допуская модификации реального окружения.
Описание. Создание системы только для целей тестирования, имитирующей поведение управляемого обо
рудования (УО).
Имитация может осуществляться только программными средствами либо сочетанием программных и аппа
ратных средств. Она должна:
- обеспечить входные данные, эквивалентные тем. которые реализуются на реальной установке УО;
- реагировать на выходные результаты тестирования программных средств способом, точно отражающим
обьект управления;
- иметь возможность для оператора вводить входные данные, чтобы обеспечить любые возмущения, с кото
рыми должна справиться тестируемая система.
Когда тестируется программное обеспечение, то моделируются заданные аппаратные средства с их входны
ми и выходными данными.
84