Механизм построения тестового сценария dfsm
Основным механизмом построения тестовых сценариев в технологии UniTesK является механизм построения тестового сценария dfsm. Этот механизм основан на неизбыточном алгоритме обхода на классе детерминированных сильно-связных конечных ориентированных графов αdfsm, представленном в работе [].
Тестовым сценарием dfsm для целевой системы с интерфейсом ( X, Y, V ) называется автоматный тестовый сценарий со сценарными функциями, в котором в качестве алгоритма движения по графу сценария используется алгоритм обхода αdfsm.
Механизмом построения тестового сценария dfsm называется функция, преобразующая тестовый сценарий dfsm в тестовый сценарий посредством применения автоматного механизма сценарных функций.
Как показано в [], любое конечное функционирование тестового сценария dfsm приводит
- либо к обнаружению нарушения требований детерминированности или сильно-связности графа сценария,
- либо к построению обхода этого графа.
С другой стороны, бесконечное функционирование тестового сценария dfsm возможно только в случае бесконечности графа сценария, или в случае бесконечного функционирования одной из сценарных функций.
Таким образом, если поведение целевой системы удовлетворяет требованиям, то при выполнении следующих условий
- граф сценария при любом корректном функционировании целевой системы является детерминированным и сильно-связным;
- всякая сценарная функция при любом корректном функционировании целевой системы завершается за конечное число шагов;
тестовый сценарий dfsm завершает свою работу и путь, пройденный по графу сценария, является обходом этого графа.
