Аннотация. В статье рассматриваетсязадача синтеза тестов с гарантированной полнотой для синхронной композиции конечных автоматов. Конечные автоматы и их композиции широко используются при синтезе тестов для различных систем, включая сервисные системы, и операция синхронной композиции описывает поведение многомодульных систем при одновременной работе всех каналов композиции. Без ограничения общности мы делаем предположение о том, что выходной порт любой компоненты может быть соединен не более чем с одним входным портом другой компоненты, и предлагаем упрощенный способ построения синхронной композиции полностью определенных детерминированных автоматов, используя хорошо известные операции над автоматами. Мы также расширяемизвестные условия для проверки замкнутости операции синхронной композиции в множестве полностью определенных детерминированных автоматов, показывая, что для замкнутости операции достаточно, чтобы каждый цикл в композиции содержал Муровскую пару, т.е. пару <входной порт, выходной порт> некоторой компоненты, для которой значения в выходном порту не зависят от значений в соответствующем входном порту (Муровское условие в композиции). Если в проверяемых системах структура композиции не меняется, и ошибки в компонентах не нарушают Муровское условие, то обход графа переходов автомата, построенного по эталонной композиции, является достаточно качественным тестом, при условии наблюдения состояний компонент (тестирование с открытым состоянием). Мы также предлагаем способ построения теста с гарантированной полнотой для выбранной компоненты при тестировании с закрытым состоянием, т.е. когда нет возможности наблюдать состояния компонент, при условии, что входные и выходные порты тестируемой компоненты доступны для наблюдения.

Ключевые слова: конечный автомат, синхронная композиция, проверяющий тест