ГОСТ Р 27.405 - 2011
5.5.4.2 Количество необходимых транзакции
В атом методе моделируемые эксплуатационные нагрузки используют в качестве
транзакции. Это гарантирует, что условия для тестируемой системы варьируются от
транзакции к транзакции, например начальные условия, состояние буфера, регистры, меню
пути и т.д. Поэтому, скрытые неисправности, которые могут быть упущены при разработке
программы испытаний, могут быть обнаружены этим методом.
В связи с тем что только очень малая часть возможных комбинаций между входными
параметрами, выходными параметрами и меню пути можетбыть реализованав ходе
испытаний, нельзя быть уверенным, что вероятность отказа достаточно мала. Тем не менее
можно вычислить вероятность того, что система с неприемлемой вероятностью безотказной
работы прошла бы проведенные испытания. Транзакции считаются независимыми, если
М =( \ - р ) \
(1)
где Л/ - вероятность успешного прохождения системой N
испытаний с неприемлемой
вероятностью отказа р. Таблицы 1и 2 приводят некоторые значения М для двух значений р и
различных значений N.
Если С - общее количество транзакций в испытаниях и считается неприемлемым для
Fa или более из них, которые привели к ошибке, то вероятность Л/ того, что система с
неприемлемой вероятностью отказа за транзакцию Fu1С прошла бы N испытаний успешно,
может быть оценена так:
Л/= (1 - F*/C)s .(2)
16