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



         

Автоматный механизм построения асинхронного тестового сценария


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

  • DA - асинхронный тестовый сценарий для целевой системы с асинхронным интерфейсом ( X, Y, Z ),
  • Afsm = ( Sfsm, s0, Xfsm, Yfsm, Efsm, Qfsm ) - выделенный взаимодействующий автомат, входящий в состав DA, и называемый ведущим автоматом асинхронного тестового сценария DA,
  • IG = ( VG, XG, π ) - неизбыточное описание ориентированного графа, называемого графом сценария,
  • vg0
    isin.gif VG - начальное состояние графа сценария,
  • α - неизбыточный алгоритм движения по графу сценария;

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

  • Sfsm = ( VG x EG* x (XG
    { ε }) )
    { final } - состояние ведущего автомата является либо выделенным состоянием final, либо содержит:

    • текущую вершину графа сценария vg,
    • пройденный маршрут в графе сценария path (здесь множество EG* обозначает множество всех конечных списков элементов из множества дуг EG = VG x XG x VG),
    • последний посланный стимул графа, на который не был получен ответ, либо ε, обозначающее отсутствие такового стимула;

  • s0 = ( vg0,
    , ε ) - начальное состояние ведущего автомата состоит из
    • начальной вершины графа сценария,
    • пройденного пути, равного пустому списку,
    • специального значения ε;

  • Xfsm = { startvg,xg | vg
    isin.gif VG, xg
    isin.gif XG }
    { stop } - множество стимулов ведущего автомата состоит из набора стимулов, помеченных вершиной и стимулом графа, и из дополнительного стимула, символизирующего завершение работы, причем все эти стимулы являются внутренними для DA;
  • Yfsm = { finishvg | vg
    isin.gif VG }
    { abort } - множество реакций ведущего автомата состоит из набора реакций, помеченных вершинами графа, и из дополнительной реакции, символизирующей аварийное завершение работы, причем все эти реакции являются внутренними для DA;
  • Efsm = { ( ( vg, path, ε ), startvg,xg, ( vg, path, xg ) ) | xg = α( IG, vg, path ) }



    Содержание  Назад  Вперед