Refining specifications in adaptive testing of nondeterministic finite state machines
This paper addresses testing of nondeterministic FSMs. An implementation FSM is allowed to be less nondeterministic than its specification, so the reduction relation between machines is the conformance relation. Execution of a given test needs to be adaptive to avoid application of unneeded input se...
| Published in: | Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 1. С. 99-114 |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000565706 Перейти в каталог НБ ТГУ |