Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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.pdf | 227,7 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.