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

       

Механизм построения тестового сценария dfsm


Основным механизмом построения тестовых сценариев в технологии UniTesK является механизм построения тестового сценария dfsm. Этот механизм основан на неизбыточном алгоритме обхода на классе детерминированных сильно-связных конечных ориентированных графов αdfsm, представленном в работе [].

Тестовым сценарием dfsm для целевой системы с интерфейсом ( X, Y, V ) называется автоматный тестовый сценарий со сценарными функциями, в котором в качестве алгоритма движения по графу сценария используется алгоритм обхода αdfsm.

Механизмом построения тестового сценария dfsm называется функция, преобразующая тестовый сценарий dfsm в тестовый сценарий посредством применения автоматного механизма сценарных функций.

Как показано в [], любое конечное функционирование тестового сценария dfsm приводит

  • либо к обнаружению нарушения требований детерминированности или сильно-связности графа сценария,
  • либо к построению обхода этого графа.

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

Таким образом, если поведение целевой системы удовлетворяет требованиям, то при выполнении следующих условий

  • граф сценария при любом корректном функционировании целевой системы является детерминированным и сильно-связным;
  • всякая сценарная функция при любом корректном функционировании целевой системы завершается за конечное число шагов;

тестовый сценарий dfsm завершает свою работу и путь, пройденный по графу сценария, является обходом этого графа.



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