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

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

Автор: Куфарева, Ирина Борисовна

Шифр специальности: 05.13.01

Научная степень: Кандидатская

Год защиты: 2000

Место защиты: Томск

Количество страниц: 176 с. ил.

Артикул: 264134

Автор: Куфарева, Ирина Борисовна

Стоимость: 250 руб.

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


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

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.343, запросов: 244