Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/350
Title: | Testing conformance to a quasi-non-deterministic stream X-machine |
Authors: | Hierons, RM Harman, M |
Keywords: | Formal language;Automaton;Finite state machine;Vending machine;Design;Test;Stream;Machine;System;Implementation;Algorithm;Specification;Non determinism;Generation;X machine;Conformance test;Non deterministic stream X machine;Test generation |
Issue Date: | 2000 |
Publisher: | Springer London |
Citation: | Formal Aspects of Computing, 12(6): 423-442 |
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. |
URI: | http://www.springerlink.com/content/w5dlnh02khp4l5jt/ http://bura.brunel.ac.uk/handle/2438/350 |
DOI: | http://dx.doi.org/10.1007/s001650070003 |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers Software Engineering (B-SERC) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Testing Conformance.pdf | 606.18 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.