Синтез тестов с гарантированной полнотой для временных автоматов
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 316, № 5: Управление, вычислительная техника и информатика.— 2010.— [С. 104-110] |
|---|---|
| Yazar: | |
| Diğer Yazarlar: | , |
| Özet: | Заглавие с титульного листа Электронная версия печатной публикации Предложен алгоритм построения полного проверяющего теста для временного автомата относительно модели "черного ящика". Предполагается, что в проверяемом автомате известны только верхняя оценка числа состояний и величина максимальной конечной задержки в состоянии. Полный тест строится по автомату-спецификации без перебора проверяемых автоматов. |
| Dil: | Rusça |
| Baskı/Yayın Bilgisi: |
2010
|
| Seri Bilgileri: | Управление, вычислительная техника и информатика |
| Konular: | |
| Online Erişim: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2010/v316/i5/20.pdf |
| Materyal Türü: | Elektronik Kitap Bölümü |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=187146 |
| Fiziksel Özellikler: | 1 файл (220 Кб) |
|---|---|
| Özet: | Заглавие с титульного листа Электронная версия печатной публикации Предложен алгоритм построения полного проверяющего теста для временного автомата относительно модели "черного ящика". Предполагается, что в проверяемом автомате известны только верхняя оценка числа состояний и величина максимальной конечной задержки в состоянии. Полный тест строится по автомату-спецификации без перебора проверяемых автоматов. |