Синтез тестов с гарантированной полнотой для временных автоматов; Известия Томского политехнического университета [Известия ТПУ]; Т. 316, № 5: Управление, вычислительная техника и информатика

Синтез тестов с гарантированной полнотой для временных автоматов; Известия Томского политехнического университета [Известия ТПУ]; Т. 316, № 5: Управление, вычислительная техника и информатика

Bibliographic Details
Parent link:Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000-
Т. 316, № 5: Управление, вычислительная техника и информатика.— 2010.— [С. 104-110]
Main Author: Жигулин М. В.
Other Authors: Дмитриев И. М., Евтушенко Н. В.
Summary:Заглавие с титульного листа
Электронная версия печатной публикации
Предложен алгоритм построения полного проверяющего теста для временного автомата относительно модели "черного ящика". Предполагается, что в проверяемом автомате известны только верхняя оценка числа состояний и величина максимальной конечной задержки в состоянии. Полный тест строится по автомату-спецификации без перебора проверяемых автоматов.
Language:Russian
Published: 2010
Series:Управление, вычислительная техника и информатика
Subjects:
временной конечный автомат
задержка по времени
полные проверяющие тесты
электронный ресурс
Online Access:http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2010/v316/i5/20.pdf
Format: Electronic Book Chapter
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=187146

Similar Items

Similar Items