Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем диссертация на соискание ученой степени кандидата технических наук : 05.13.01

Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем диссертация на соискание ученой степени кандидата технических наук : 05.13.01

Bibliographic Details
Main Author:	Дорофеева, Маргарита Юрьевна
Corporate Author:	Томский государственный университет
Other Authors:	Евтушенко, Нина Владимировна (Thesis advisor)
Format:	Book
Language:	Russian
Published:	Томск [б. и.] 2007
Subjects:	диссертации автоматы конечные математическое моделирование тесты проверяющие системы логического управления синтез тестов автоматы недетерминированные автоматы мутационные автоматы детерминированные автоматы псевдослучайные компьютерные эксперименты протокол Simple Connection управляющие системы
Online Access:	Перейти в каталог НБ ТГУ

Similar Items

К синтезу проверяющих тестов для мутационного автомата
by: Дорофеева, Маргарита Юрьевна

Применение недетерминированных автоматов в задачах синтеза проверяющих тестов для систем логического управления Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Куфарева, Ирина Борисовна
Published: (2000)

Использование свойств мутационных автоматов для минимизации проверяющих тестов
by: Эль-Факи, Калед

Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
by: Твардовский, Александр Сергеевич

Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов

К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов
by: Акеньшина, Екатерина Алексеевна

Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
by: Громов, Максим Леонидович
Published: (2009)

Синтез тестов для контроля систем логического управления методами теории экспериментов с автоматами диссертация на соискание ученой степени доктора технических наук : 05.13.01
by: Евтушенко, Нина Владимировна
Published: (1990)

Построение проверяющих тестов в процессе декомпозиционного синтеза управляющих автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Каширова, Лилия Федоровна
Published: (1991)

Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Тренькаев, Вадим Николаевич
Published: (2000)

К синтезу тестов по мутационному автомату
by: Громов, Максим Леонидович

К построению проверяющих тестов для недетерминированных автоматов с тайм-аутами
by: Шабалдина, Наталия Владимировна

Метод идентификации обратимого автомата с известной функцией выходов
by: Жуковская, Александра Олеговна

Некоторые задачи идентификации состояний для недетерминированных автоматов
by: Евтушенко, Нина Владимировна
Published: (2018)

Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
by: Ермаков, Антон Дмитриевич

К синтезу проверяющих тестов для недетерминированных автоматов относительно редукции
by: Евтушенко, Нина Владимировна

Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Коломеец, Антон Владимирович
Published: (2010)

Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
by: Твардовский, Александр Сергеевич
Published: (2019)

FSMTest-1.0: a manual for researches
by: Shabaldina, Natalia V

Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
by: Твардовский, Александр Сергеевич

Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Прокопенко, Светлана Анатольевна
Published: (2000)

К тестированию недетерминированных автоматов с таймаутами относительно неразделимости
by: Шабалдина, Наталия Владимировна

Разработка алгоритмов синтеза и тестирования конечно-автоматных компенсаторов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Ветрова, Мария Викторовна
Published: (2003)

Методы синтеза полных проверяющих тестов для детерминированных автоматов учебно-методическое пособие
Published: (2004)

Адаптация H-метода для тестирования недетерминированных автоматов относительно редукции
by: Дорофеева, Маргарита Юрьевна

Экспериментальное исследование полноты тестов, построенных по конечно-автоматным срезам расширенного автомата
by: Никитин, Александр Леонидович

О верхней оценке длины разделяющей последовательности
by: Евтушенко, Нина Владимировна

К построению подавтоматов без слияний для недетерминированных конечных автоматов
by: Твардовский, Александр Сергеевич

О сложности проверки существования установочных последовательностей для недетерминированных автоматов
by: Кушик, Наталья Геннадьевна

Refining the specification FSM when deriving test suites w.r.t. the reduction relation
by: Tvardovskii, Aleksandr

On the length of homing sequences for nondeterministic finite state machines
by: Kushik, Natalia G.

Some classes of finite state machines with polynomial length of distinguishing test cases
by: Yenigün, Hüsnü

К синтезу проверяющих тестов для программной реализации протокола DCCP
by: Лештаев Максим Александрович

Минимизация автоматов с таймаутами и временными ограничениями
by: Твардовский, Александр Сергеевич

Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01
by: Кушик, Наталья Геннадьевна
Published: (2016)

Метод синтеза тестов для программных реализаций телекоммуникационных протоколов на основе древовидных автоматов
by: Форостьянова, Мария Сергеевна

Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата
by: Коломеец, Антон Владимирович

Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента
by: Куфарева, Ирина Борисовна

Минимизация проверяющих тестов для конечных автоматов
by: Дорофеева, Маргарита Юрьевна

Экспериментальное сравнение методов синтеза проверяющих тестов для детерминированных автоматов
by: Дорофеева, Маргарита Юрьевна