Please use this identifier to cite or link to this item: http://earchive.tpu.ru/handle/11683/3177
Title: Синтез тестов с гарантированной полнотой для временных автоматов
Authors: Жигулин, М. В.
Дмитриев, И. М.
Евтушенко, Н. В.
Keywords: временной конечный автомат; задержка по времени; полные проверяющие тесты
Issue Date: 2010
Publisher: Томский политехнический университет
Citation: Жигулин М. В. Синтез тестов с гарантированной полнотой для временных автоматов / М. В. Жигулин, И. М. Дмитриев, Н. В. Евтушенко // Известия Томского политехнического университета [Известия ТПУ]. — 2010. — Т. 316, № 5: Управление, вычислительная техника и информатика. — [С. 104-110].
Abstract: Предложен алгоритм построения полного проверяющего теста для временного автомата относительно модели "черного ящика". Предполагается, что в проверяемом автомате известны только верхняя оценка числа состояний и величина максимальной конечной задержки в состоянии. Полный тест строится по автомату-спецификации без перебора проверяемых автоматов.
URI: http://earchive.tpu.ru/handle/11683/3177
ISSN: 1684-8519
Appears in Collections:Известия ТПУ

Files in This Item:
File Description SizeFormat 
bulletin_tpu-2010-316-5-20.pdf227,7 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.