Синтез тестов с гарантированной полнотой для временных автоматов; Известия Томского политехнического университета [Известия ТПУ]; Т. 316, № 5: Управление, вычислительная техника и информатика
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 316, № 5: Управление, вычислительная техника и информатика.— 2010.— [С. 104-110] |
|---|---|
| Autor principal: | |
| Altres autors: | , |
| Sumari: | Заглавие с титульного листа Электронная версия печатной публикации Предложен алгоритм построения полного проверяющего теста для временного автомата относительно модели "черного ящика". Предполагается, что в проверяемом автомате известны только верхняя оценка числа состояний и величина максимальной конечной задержки в состоянии. Полный тест строится по автомату-спецификации без перебора проверяемых автоматов. |
| Idioma: | rus |
| Publicat: |
2010
|
| Col·lecció: | Управление, вычислительная техника и информатика |
| Matèries: | |
| Accés en línia: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2010/v316/i5/20.pdf |
| Format: | MixedMaterials Electrònic Capítol de llibre |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=187146 |
MARC
| LEADER | 00000nla2a2200000 4500 | ||
|---|---|---|---|
| 001 | 187146 | ||
| 005 | 20231031173916.0 | ||
| 035 | |a (RuTPU)RU\TPU\book\203070 | ||
| 035 | |a RU\TPU\book\203069 | ||
| 090 | |a 187146 | ||
| 100 | |a 20101111d2010 k y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drnn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Синтез тестов с гарантированной полнотой для временных автоматов |b Электронный ресурс |f М. В. Жигулин, И. М. Дмитриев, Н. В. Евтушенко | |
| 203 | |a Текст |c электронный | ||
| 215 | |a 1 файл (220 Кб) | ||
| 225 | 1 | |a Управление, вычислительная техника и информатика | |
| 230 | |a Электронные текстовые данные (1 файл : 220 Кб) | ||
| 300 | |a Заглавие с титульного листа | ||
| 300 | |a Электронная версия печатной публикации | ||
| 320 | |a [Библиогр.: с. 110 (5 назв.)] | ||
| 330 | |a Предложен алгоритм построения полного проверяющего теста для временного автомата относительно модели "черного ящика". Предполагается, что в проверяемом автомате известны только верхняя оценка числа состояний и величина максимальной конечной задержки в состоянии. Полный тест строится по автомату-спецификации без перебора проверяемых автоматов. | ||
| 337 | |a Adobe Reader | ||
| 461 | 1 | |0 (RuTPU)RU\TPU\book\176237 |t Известия Томского политехнического университета [Известия ТПУ] |f Томский политехнический университет (ТПУ) |d 2000- | |
| 463 | 1 | |0 (RuTPU)RU\TPU\book\202417 |x 1684-8519 |t Т. 316, № 5: Управление, вычислительная техника и информатика |v [С. 104-110] |d 2010 |p 192 с. | |
| 610 | 1 | |a временной конечный автомат | |
| 610 | 1 | |a задержка по времени | |
| 610 | 1 | |a полные проверяющие тесты | |
| 610 | 1 | |a электронный ресурс | |
| 700 | 1 | |a Жигулин |b М. В. | |
| 701 | 1 | |a Дмитриев |b И. М. | |
| 701 | 1 | |a Евтушенко |b Н. В. | |
| 801 | 1 | |a RU |b 63413507 |c 20090623 |g PSBO | |
| 801 | 2 | |a RU |b 63413507 |c 20211222 |g PSBO | |
| 856 | 4 | |u http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2010/v316/i5/20.pdf | |
| 942 | |c CF | ||