Асинхронные сценарные функции

Для описания стимулов графа автоматного сценария в асинхронном случае так же, как и в синхронном, используется понятие сценарной функции. В данном случае, в качестве сценарной функции выступает обычная асинхронная функция, а множество допустимых стимулов определяется на основе множества ее входных параметров.

Асинхронной сценарной функцией мы будем называть асинхронную функцию, в которой множество входных значений может быть произвольным, а множество выходных значений Bool состоит из двух элементов true и false.

Множество всех асинхронных сценарных функций, у которых множество входных значений равно IS, мы будем обозначать как Σ(IS).

Асинхронным автоматным тестовым сценарием со сценарными функциями для целевой системы с асинхронным интерфейсом ( X, Y, Z ) называется семерка ( DA, Afsm, VG, XG, vg0, α,

• DA - асинхронный тестовый сценарий для целевой системы с асинхронным интерфейсом ( X, Y, Z ),
• Afsm ( Sfsm, s0, Xfsm, Yfsm, Efsm, Qfsm ) - выделенный взаимодействующий автомат, входящий в состав DA, и называемый ведущим автоматом асинхронного тестового сценария DA,
• VG - множество состояний графа сценария,
• XG - множество стимулов графа сценария,
• vg0 - начальное состояние графа сценария,
• α - неизбыточный алгоритм движения по графу сценария,
• 
  - конечный набор асинхронных сценарных функций Σi = ( Si, s0,i, Xi, Yi, Ei, Qi )
  
  Σ(ISi);

и для которой выполнены следующие ограничения:

• замыкания взаимодействующих автоматов Σi по множеству { stop, abort } входят в состав DA, причем все эти вхождения и вхождение Afsm в DA различаются между собой,
• 
  i
  
  { 1, …, k } ISi
  
  VG x XG,
• 
  i, j
  
  { 1, …, k } i ≠ j
  
  XGi
  
  XGj = Ø,
  где XGi = { xg
  
  XG |
  
  vg
  
  VG: ( vg, xg )
  
  ISi },
• Xfsm =
  
  
  { stop }, где PYi = { calli,is | is
  
  ISi },
• сообщения из
  
  присутствуют только в ведущем автомате и автоматах-сценарных функциях,
• пятерка ( DA, Afsm, IG, vg0, α ), в которой IG состоит из

  • множества состояний графа сценария VG,
  • множества стимулов графа сценария XG,
  • функции π: π(vg) = { xg
    
    XG |
    
    i
    
    { 1, …, k }: ( vg, xg )
    
    ISi },

    
    является асинхронным автоматным тестовым сценарием для целевой системы с асинхронным интерфейсом ( X, Y, Z ).

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

  ---

  
  
  
  
  

  ---