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

       

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


Метрикой покрытия асинхронной модели требований 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.



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