Спецификация и тестирование систем с асинхронным интерфейсом
       

Метрики покрытия асинхронной модели требований


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

Метрики покрытия асинхронной модели требований
2E . Элементами покрытия называются элементы метрики M, являющиеся подмножествами E.

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

Метрики покрытия асинхронной модели требований
' ) называется префиксным подмножеством частично-упорядоченного множества ( P,
Метрики покрытия асинхронной модели требований
), если:

  • множество P' является подмножеством P ( P'
    Метрики покрытия асинхронной модели требований
    P );
  • частичный порядок
    Метрики покрытия асинхронной модели требований
    ' является подмножеством частичного порядка
    Метрики покрытия асинхронной модели требований
    ' (
    Метрики покрытия асинхронной модели требований
    '
    Метрики покрытия асинхронной модели требований
    Метрики покрытия асинхронной модели требований
    );
  • все пары элементов из P', являющиеся упорядоченными в ( P,
    Метрики покрытия асинхронной модели требований
    ), также являются упорядоченными в ( P',
    Метрики покрытия асинхронной модели требований
    ' ):

    (p1,p2)

    Метрики покрытия асинхронной модели требований
    Метрики покрытия асинхронной модели требований
    Метрики покрытия асинхронной модели требований
    p1
    Метрики покрытия асинхронной модели требований
    P'
    Метрики покрытия асинхронной модели требований
    p2
    Метрики покрытия асинхронной модели требований
    P'
    Метрики покрытия асинхронной модели требований
    (p1,p2)
    Метрики покрытия асинхронной модели требований
    Метрики покрытия асинхронной модели требований
    ' ;
  • все элементы P меньшие элемента P' также принадлежат P':

    (p1,p2)

    Метрики покрытия асинхронной модели требований
    Метрики покрытия асинхронной модели требований
    ;
    Метрики покрытия асинхронной модели требований
    p2
    Метрики покрытия асинхронной модели требований
    P'
    Метрики покрытия асинхронной модели требований
    p1
    Метрики покрытия асинхронной модели требований
    P'.

Предположим, что асинхронный тест ( P,

Метрики покрытия асинхронной модели требований
) является неуспешным относительно асинхронной модели требований A = ( V, X, Y, Z, E ) с начальным состоянием v0
Метрики покрытия асинхронной модели требований
V. Будем говорить, что частично-упорядоченное множество ( P',
Метрики покрытия асинхронной модели требований
' ) является граничным успешным подтестом асинхронного теста ( P,
Метрики покрытия асинхронной модели требований
), если:

  • ( P',
    Метрики покрытия асинхронной модели требований
    ' ) является префиксным подмножеством ( P,
    Метрики покрытия асинхронной модели требований
    );
  • ( P',
    Метрики покрытия асинхронной модели требований
    ' ) является успешным относительно асинхронной модели требований A = ( V, X, Y, Z, E ) с начальным состоянием v0
    Метрики покрытия асинхронной модели требований
    V;
  • существует такое частично-упорядоченное множество ( P'',
    Метрики покрытия асинхронной модели требований
    '' ), что

    • ( P'',
      Метрики покрытия асинхронной модели требований
      '' ) является префиксным подмножеством ( P,
      Метрики покрытия асинхронной модели требований
      );
    • ( P'',
      Метрики покрытия асинхронной модели требований
      '' ) является неуспешным относительно асинхронной модели требований A = ( V, X, Y, Z, E ) с начальным состоянием v0
      Метрики покрытия асинхронной модели требований
      V;
    • P'' включает в себя P', но P'' больше P' ровно на один элемент ( P' ⊂ P''
      Метрики покрытия асинхронной модели требований
      | P'' \ P' | = 1 ).

    Заметим, что всякое максимальное успешное префиксное подмножество асинхронного теста ( P,

    Метрики покрытия асинхронной модели требований
    ) является его граничным успешным подтестом, а обратное утверждение не верно.

    Если асинхронный тест ( P,

    Метрики покрытия асинхронной модели требований
    ) является успешным относительно асинхронной модели требований A = ( V, X, Y, Z, E ) с начальным состоянием v0
    Метрики покрытия асинхронной модели требований
    V, то путь в автомате A, удовлетворяющий требованиям определения 9 будем называть успешным.

    Если асинхронный тест ( P,

    Метрики покрытия асинхронной модели требований
    ) является успешным относительно асинхронной модели требований A = ( V, X, Y, Z, E ) с начальным состоянием v0
    Метрики покрытия асинхронной модели требований
    V, то будем говорить, что тест ( P,
    Метрики покрытия асинхронной модели требований
    ) покрыл элемент покрытия Cj
    Метрики покрытия асинхронной модели требований
    M, если любой успешный путь ( e1, e2, …, en, … ) теста ( P,
    Метрики покрытия асинхронной модели требований
    ) в автомате A содержит хотя бы один переход ei, входящий во множество Cj.



    Содержание раздела



    Главная сайта