Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars
ECAL '01 Proceedings of the 6th European Conference on Advances in Artificial Life
Testing against a non-controllable stream X-machine using state counting
Theoretical Computer Science
Testing data processing-oriented systems from stream X-machine models
Theoretical Computer Science
Testing Non-deterministic Stream X-machine Models and P systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Bounded sequence testing from deterministic finite state machines
Theoretical Computer Science
Testing from X-machine specifications
Formal methods and testing
Testing discrete-event simulation programs using black-box techniques
ICS'06 Proceedings of the 10th WSEAS international conference on Systems
| Hi-index | 0.00 |
One of the strengths of using stream X-machines to specify a system is that, under certain well defined conditions, it is possible to produce a test set that is guaranteed to determine the correctness of an implementation. However, the existing method assumes that the implementation of each processing function is proved to be correct before the actual testing can take place, so it only test the system integration. This paper presents a new method for generating test sets from a deterministic stream X-machine specification that generalises the existing integration testing method. This method no longer requires the implementations of the processing functions to be proved correct prior to the actual testing. Instead, the testing of the processing functions is performed along with the integration testing.