Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://earchive.tpu.ru/handle/11683/3177
Название: Синтез тестов с гарантированной полнотой для временных автоматов
Авторы: Жигулин, М. В.
Дмитриев, И. М.
Евтушенко, Н. В.
Ключевые слова: временной конечный автомат; задержка по времени; полные проверяющие тесты
Дата публикации: 2010
Издатель: Томский политехнический университет
Библиографическое описание: Жигулин М. В. Синтез тестов с гарантированной полнотой для временных автоматов / М. В. Жигулин, И. М. Дмитриев, Н. В. Евтушенко // Известия Томского политехнического университета [Известия ТПУ]. — 2010. — Т. 316, № 5: Управление, вычислительная техника и информатика. — [С. 104-110].
Аннотация: Предложен алгоритм построения полного проверяющего теста для временного автомата относительно модели "черного ящика". Предполагается, что в проверяемом автомате известны только верхняя оценка числа состояний и величина максимальной конечной задержки в состоянии. Полный тест строится по автомату-спецификации без перебора проверяемых автоматов.
URI: http://earchive.tpu.ru/handle/11683/3177
ISSN: 1684-8519
Располагается в коллекциях:Известия ТПУ

Файлы этого ресурса:
Файл Описание РазмерФормат 
bulletin_tpu-2010-316-5-20.pdf227,7 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.