RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Модел. и анализ информ. систем, 2017, том 24, номер 4, страницы 496–507 (Mi mais579)  

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

А. С. Твардовскийa, К. Эль-Факиb, М. Л. Громовa, Н. В. Евтушенкоa

a Национальный исследовательский Томский государственный университет, пр. Ленина, 36, г. Томск, 634050 Россия
b Американский университет Шарджа, Университетский город, г. Шарджа, 26666 Объединенные Арабские Эмираты

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

Ключевые слова: временные автоматы, недетерминированные автоматы, синтез тестов, область неисправности.

Финансовая поддержка Номер гранта
Российский научный фонд 16-49-03012
Работа выполнена при поддержке гранта РНФ No. 16-49-03012.


DOI: https://doi.org/10.18255/1818-1015-2017-4-496-507

Полный текст: PDF файл (715 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 519.7
Поступила в редакцию: 22.12.2016

Образец цитирования: А. С. Твардовский, К. Эль-Факи, М. Л. Громов, Н. В. Евтушенко, “Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов”, Модел. и анализ информ. систем, 24:4 (2017), 496–507

Цитирование в формате AMSBIB
\RBibitem{TvaEl-Gro17}
\by А.~С.~Твардовский, К.~Эль-Факи, М.~Л.~Громов, Н.~В.~Евтушенко
\paper Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
\jour Модел. и анализ информ. систем
\yr 2017
\vol 24
\issue 4
\pages 496--507
\mathnet{http://mi.mathnet.ru/mais579}
\crossref{https://doi.org/10.18255/1818-1015-2017-4-496-507}
\elib{http://elibrary.ru/item.asp?id=29864500}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais579
  • http://mi.mathnet.ru/rus/mais/v24/i4/p496

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:66
    Полный текст:12
    Литература:15

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019