Применение недетерминированных автоматов в задачах синтеза проверяющих тестов для систем логического управления

• Автор: Куфарева, Ирина Борисовна
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Томск
• Количество страниц: 176 с. : ил.

Введение. Конечные автоматы. Применение недетерминированного автомата для описания эталонного поведения системы. Постановка задачи. Выводы по главе. Структура теста . Обобщение структуры Василевского на случай модели ЛиЬМ. Отличающие автоматы. Построение теста относительно модели А,,5иЬМ. Выводы по главе. Построение тестов для детерминированного автомата или недетерминированного автомат с попарно 5несовместимыми состояниями в классе подавтоматов произвольного мутационного автомата М. Запрещенные подмножества состояний отличающею автомата и их характеристические множества. Построение теста. Построение тестов для недетерминированного автомата в классе автоматов с ограниченным числом состояний. Функция подсчета состояний. Такой мутационный автомат называется хаосмашиной и представляет известную модель черного ящика. В параграфе 3. МЛ. Параграф 3. Разработанный метод является обобщением известного метода построения теста для детерминированного автомата . В четвертой главе приводятся результаты экспериментов с пакетом компьютерных программ, реализующим разработанные в диссертации методы синтеза полных проверяющих тестов относительно модели Л,,5нЛ.


Такой мутационный автомат называется хаосмашиной и представляет известную модель черного ящика. В параграфе 3. МЛ. Параграф 3. Разработанный метод является обобщением известного метода построения теста для детерминированного автомата . В четвертой главе приводятся результаты экспериментов с пакетом компьютерных программ, реализующим разработанные в диссертации методы синтеза полных проверяющих тестов относительно модели Л,,5нЛ. В параграфе 4. Показано, что тесты для данной модели являются очень длинными вследствие большого числа автоматов класса неисправностей. В параграфе 4. В случае, когда эталонный автомат не является детерминированным, такой тест может быть построен методом, предложенным в диссертации. Результаты экспериментов показывают, что тест, полный относительно выходных неисправностей, может быть построен за короткое время, имеет небольшую длину и очень высокую полноту относительно различных классов неисправностей, возникающих на практике. Параграф 4. В нем рассматриваются два подхода к решению проблемы построения тестов для компоненты в обоих случаях применимы методы построения тестов, разработанные в диссертации, которые позволяют за приемлемое время получать значительно более короткие тесты для компоненты, чем известные методы. На основании результатов экспериментов сделан вывод о практической применимости модели неисправности, разработанной в диссертации, и предложенных методов синтеза проверяющих тестов относительно этой модели. В заключении подводится итог результатам, полученным в диссертации, и формулируются основные положения, выносимые на защиту.