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

       

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


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

Асинхронной сценарной функцией мы будем называть асинхронную функцию, в которой множество входных значений может быть произвольным, а множество выходных значений 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 ).



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