Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/2498
Title: | Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine |
Authors: | Hierons, RM Ipate, F |
Keywords: | Software testing;X-machine |
Issue Date: | 2008 |
Publisher: | Springer |
Citation: | Formal Aspects of Computing, 20(6): 597-617, Dec 2008 |
Abstract: | A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of the great benefits of using stream X-machines for the purpose of specification is the existence of test generation techniques that produce test suites that are guaranteed to determine correctness as long as certain well-defined conditions hold. One of the conditions that is traditionally assumed to hold is controllability: this insists that all paths through the stream X-machine are feasible. This restrictive condition has recently been weakened for testing from a deterministic stream X-machine. This paper shows how controllability can be replaced by a weaker condition when testing a deterministic system against a non-deterministic stream X-machine. This paper therefore develops a new, more general, test generation algorithm for testing from a non-deterministic stream X-machine. |
URI: | http://bura.brunel.ac.uk/handle/2438/2498 |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers Software Engineering (B-SERC) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
testnd_final1.pdf | 245.3 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.