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 | Size | Format | |
|---|---|---|---|---|
| bulletin_tpu-2010-316-5-20.pdf | 227,7 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.