ВУЗ:
Составители:
Рубрика:
50
Детерминированный контроль – проверка соответствия вычисленного зна-
чения y
в
∈{y} значению y, полученному в результате прогона теста на набо-
ре {x} – случайной последовательности входных сигналов, сгенерированной
имитатором.
Стохастический контроль – проверка соответствия множества значений
{y
в
}, полученного в результате прогона тестов на наборе входных значений
{x}, заранее известному распределению результатов F(Y).
В этом случае множество Y неизвестно (его вычисление невозможно), но
известен закон распределения данного множества.
Критерии стохастического тестирования
Статистические методы окончания тестирования представляют собой
стохастические методы принятия решений о совпадении гипотез о распределе-
нии случайных величин. К ним принадлежат такие широко известные методы,
как метод Стьюдента (St), метод Хи-квадрат (χ2) и т. п.
Метод оценки скорости выявления ошибок основан на модели скорости
выявления ошибок, согласно которой тестирование прекращается, если оценен-
ный интервал времени между текущей ошибкой и следующей слишком велик
для фазы тестирования приложения.
При формализации модели скорости выявления ошибок (Рис. 10) исполь-
зуют следующие обозначения:
N – исходное число ошибок в программном комплексе перед тестированием,
С – константа снижения скорости выявления ошибок за счет нахождения оче-
редной ошибки,
t1,t2,…tn – кортеж возрастающих интервалов обнаружения последовательности
из n ошибок,
T – время выявления n ошибок.
Времена выявления последовательности ошибок
Скорость
выявления
ошибки
NC
(N-1)C
t
1
t
2
t
n
. . .
Рис. 10. Зависимость скорости выявления ошибок от времени выявления
Страницы
- « первая
- ‹ предыдущая
- …
- 48
- 49
- 50
- 51
- 52
- …
- следующая ›
- последняя »
