Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine |
| |
Authors: | R M Hierons M Harman |
| |
Affiliation: | (1) Department of Information Systems and Computing, Brunel University, Uxbridge, UK, GB |
| |
Abstract: | Stream X-machines have been used in order to specify a range of systems. One of the strengths of this approach is that, under
certain well-defined conditions, it is possible to produce a finite test that is guaranteed to determine the correctness of
the implementation under test (IUT). Initially only deterministic stream X-machines were considered in the literature. This
is largely because the standard test algorithm relies on the stream X-machine being deterministic.
More recently the problem of testing to determine whether the IUT is equivalent to a non-deterministic stream X-machine specification has been tackled. Since non-determinism can be important for specifications,
this is an extremely useful extension. In many cases, however, we wish to test for a weaker notion of correctness called conformance. This paper considers a particular form of non-determinism, within stream X-machines, that will be called quasi-non-determinism.
It then investigates the generation of tests that are guaranteed to determine whether the IUT conforms to a quasi-non-deterministic stream X-machine specification. The test generation algorithm given is a generalisation of that
used for testing from a deterministic stream X-machine.
Received November 1999 / Accepted in revised form December 2000 |
| |
Keywords: | : Conformance Design for test conditions Non-determinism Quasi-non-determinism Stream X-machine Testing |
本文献已被 SpringerLink 等数据库收录! |
|