получена 22 декабря 2016Аннотация. В настоящее время при описании поведения дискретных систем достаточно часто необходимо принимать во внимание временные аспекты, и соответственно появляется необ-ходимость в распространении автоматных методов синтеза тестов с гарантированной полнотой на временные автоматы. В данной статье мы предлагаем метод построения проверяющих тестов с гарантированной полнотой для полностью определенного, возможно, недетерминированного авто-мата с одной временной переменной. Такие временные автоматы используются при описании по-ведения программного обеспечения и цифровых устройств. Область неисправности содержит все полностью определенные автоматы с заданным числом состояний и известной верхней оценкой на интервалы, описывающие временные ограничения. Предлагаемый метод опирается на построение по заданному временному автомату соответствующей конечно автоматной абстракции (абстракт-ного автомата). По абстрактному автомату строится проверяющий тест, последовательности кото-рого суть временные входные последовательности. Более короткие тесты можно построить, если ввести дополнительные ограничения на область неисправности, например, для случая, когда из-вестна наименьшая продолжительность каждого временного интервала в тестируемой реализации, и её величина больше двух. Кроме того, тест можно сократить с сохранением его полноты в случае, когда все интервалы для временных ограничений закрыты справа (или все интервалы закрыты слева). Приводятся результаты проведенных компьютерных экспериментов по сравнению длин тестов, построенных по временному автомату различными методами.Ключевые слова: временные автоматы, недетерминированные автоматы, синтез тестов, область неисправности Для цитирования: Твардовский А. С., Эль-Факи К., Громов M. Л., Евтушенко Н. В., "Синтез тестов с гаранти-рованной полнотой для недетерминированных временных автоматов", Моделирование и анализ информационных систем, 24:4 (2017), 496-507.