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

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

  ---

  
  
  
  
  

  ---