| dc.creator |
Hierons, RM |
|
| dc.creator |
Harman, M |
|
| dc.date |
2006-11-06T12:04:30Z |
|
| dc.date |
2006-11-06T12:04:30Z |
|
| dc.date |
2000 |
|
| dc.date.accessioned |
2022-05-25T13:07:00Z |
|
| dc.date.available |
2022-05-25T13:07:00Z |
|
| dc.identifier |
Formal Aspects of Computing, 12(6): 423-442 |
|
| dc.identifier |
http://www.springerlink.com/content/w5dlnh02khp4l5jt/ |
|
| dc.identifier |
http://bura.brunel.ac.uk/handle/2438/350 |
|
| dc.identifier |
http://dx.doi.org/10.1007/s001650070003 |
|
| dc.identifier.uri |
http://localhost:8080/xmlui/handle/CUHPOERS/163682 |
|
| dc.description |
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. |
|
| dc.format |
620733 bytes |
|
| dc.format |
application/pdf |
|
| dc.language |
en |
|
| dc.publisher |
Springer London |
|
| dc.subject |
Formal language |
|
| dc.subject |
Automaton |
|
| dc.subject |
Finite state machine |
|
| dc.subject |
Vending machine |
|
| dc.subject |
Design |
|
| dc.subject |
Test |
|
| dc.subject |
Stream |
|
| dc.subject |
Machine |
|
| dc.subject |
System |
|
| dc.subject |
Implementation |
|
| dc.subject |
Algorithm |
|
| dc.subject |
Specification |
|
| dc.subject |
Non determinism |
|
| dc.subject |
Generation |
|
| dc.subject |
X machine |
|
| dc.subject |
Conformance test |
|
| dc.subject |
Non deterministic stream X machine |
|
| dc.subject |
Test generation |
|
| dc.title |
Testing conformance to a quasi-non-deterministic stream X-machine |
|
| dc.type |
Research Paper |
|
| dc.coverage |
29 |
|