Preview

Труды Института системного программирования РАН

Расширенный поиск

Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции

https://doi.org/10.15514/ISPRAS-2014-26(6)-10

Полный текст:

Аннотация

В данной статье предлагается алгоритм построения адаптивной проверяющей последовательности для недетерминированного конечного полностью определенного автомата относительно редукции.

Об авторе

Антон Ермаков
Национальный исследовательский Томский государственный университет
Россия


Список литературы

1. Petrenko A. Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs / A. Petrenko, N. Yevtushenko // ICTSS, 2011. P. 162-178.

2. М.В. Ветрова. Разработка алгоритмов синтеза и тестирования конечно автоматных компенсаторов. Дисс. На соискание степени канд. техн. наук, Томский госуниверситет, 2004.

3. Н.Г. Кушик. Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами. Дисс. На соискание степени канд. физ.-мат. наук, Томский госуниверситет, 2013.


Для цитирования:


Ермаков А. Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции. Труды Института системного программирования РАН. 2014;26(6):111-124. https://doi.org/10.15514/ISPRAS-2014-26(6)-10

For citation:


Ermakov A. Deriving checking sequences for nondeterministic FSMs. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2014;26(6):111-124. (In Russ.) https://doi.org/10.15514/ISPRAS-2014-26(6)-10

Просмотров: 22


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)