Generating Test Sets from Non-Deterministic Stream X-Machines |
| |
Authors: | Florentin Ipate Mike Holcombe |
| |
Affiliation: | (1) Faculty of Science, University of Pitesti, Pitesti, Romania, RO;(2) Department of Computer Science, University of Sheffield, Sheffield, UK, GB |
| |
Abstract: | X-machines were proposed by Holcombe as a possible specification language and since then a number of further investigations
have demonstrated that the model is intuitive and easy to use as well as general enough to cater for a wide range of applications.
In particular (generalised) stream X-machines have been found to be extremely useful as a specification method and most of
the theory developed so far has concentrated on this particular class of X-machines. Furthermore, a method for testing systems
specified by stream X-machines exists and is proved to detect all faults of the implementation provided that the system meets
certain initial requirements. However, this method can only be used to generate test sequences from deterministic X-machine
specifications. In this paper we present the theoretical basis for a method for generating test sets from non-deterministic
generalised stream X-machines.
Received November 1999 / Accepted in revised form September 2000 |
| |
Keywords: | : Testing Test set generation X-machines Finite state machines Non-determinism |
本文献已被 SpringerLink 等数据库收录! |
|