Метрики покрытия асинхронной модели требований
Метрикой покрытия асинхронной модели требований A = ( V, X, Y, Z, E ) называется конечное множество подмножеств переходов модели требований M

Частично-упорядоченное множество ( P',


- множество P' является подмножеством P ( P' P );
- частичный порядок ' является подмножеством частичного порядка' (');
- все пары элементов из P', являющиеся упорядоченными в ( P, ), также являются упорядоченными в ( P',' ):
(p1,p2)
p1P'p2P'(p1,p2)' ; - все элементы P меньшие элемента P' также принадлежат P':
(p1,p2)
;p2P'p1P'.
Предположим, что асинхронный тест ( P,




- ( P', ' ) является префиксным подмножеством ( P,);
- ( P', ' ) является успешным относительно асинхронной модели требований A = ( V, X, Y, Z, E ) с начальным состоянием v0V;
- существует такое частично-упорядоченное множество ( P'', '' ), что
- ( P'', '' ) является префиксным подмножеством ( P,);
- ( P'', '' ) является неуспешным относительно асинхронной модели требований A = ( V, X, Y, Z, E ) с начальным состоянием v0V;
- P'' включает в себя P', но P'' больше P' ровно на один элемент ( P' ⊂ P'' | P'' \ P' | = 1 ).
Заметим, что всякое максимальное успешное префиксное подмножество асинхронного теста ( P,
) является его граничным успешным подтестом, а обратное утверждение не верно.Если асинхронный тест ( P,
) является успешным относительно асинхронной модели требований A = ( V, X, Y, Z, E ) с начальным состоянием v0V, то путь в автомате A, удовлетворяющий требованиям определения 9 будем называть успешным.Если асинхронный тест ( P,
) является успешным относительно асинхронной модели требований A = ( V, X, Y, Z, E ) с начальным состоянием v0V, то будем говорить, что тест ( P,) покрыл элемент покрытия CjM, если любой успешный путь ( e1, e2, …, en, … ) теста ( P,) в автомате A содержит хотя бы один переход ei, входящий во множество Cj.
Содержание раздела
- ( P'',