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



         

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



{ ( ( vg, path, ε ), stop, final ) | α( IG, vg, path ) = τ }


{ ( ( vg, path, xg ), finishvg*, ( vg', path', ε ) |

vg' = vg*


path' = path ^ ( vg, xg, vg' )
}


{ ( ( vg, path, xg ), abort, final ) }

  • Qfsm = { final } - множество заключительных состояний ведущего автомата состоит из единственного состояния final.

    Автоматным механизмом построения асинхронного тестового сценария называется функция, которая преобразует асинхронный автоматный тестовый сценарий ( DA, Afsm, IG, vg0, α ) в асинхронный тестовый сценарий DA.

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

    Алгоритм движения выбирает стимул графа, который необходимо подать в текущей вершине. Ведущий автомат посылает сообщение, соответствующее текущей вершине и выбранному стимулу. Это сообщение обрабатывается другими взаимодействующими автоматами, входящими в состав DA, и преобразуется в набор воздействий на целевую систему. По завершении обработки этого сообщения, ведущему автомату посылается либо новая вершина графа, либо уведомление об аварийном завершении работы. В первом случае, ведущий автомат повторяет рассмотренный цикл до тех пор, пока алгоритм движения не завершит свою работу. Во втором случае, работа тестового сценария завершается.




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