Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/361
Title: | Testing conformance of a deterministic implementation against a non-deterministic stream X-machine |
Authors: | Harman, M Hierons, RM |
Keywords: | Stream X-machines;Testing;Non-determinism;Conformance;Deterministic implementation |
Issue Date: | 2004 |
Publisher: | Elsevier Science |
Citation: | Theoretical Computer Science, 323(1-3): 191-233, Sep 2004 |
Abstract: | Stream X-machines are a formalisation of extended finite state machines that have been used to specify systems. One of the great benefits of using stream X-machines, for the purpose of specification, is the associated test generation technique which produces a test that is guaranteed to determine correctness under certain design for test conditions. This test generation algorithm has recently been extended to the case where the specification is non-deterministic. However, the algorithms for testing from a non-deterministic stream X-machine currently have limitations: either they test for equivalence, rather than conformance or they restrict the source of non-determinism allowed in the specification. This paper introduces a new test generation algorithm that overcomes both of these limitations, for situations where the implementation is known to be deterministic. |
URI: | http://www.elsevier.com/wps/find/journaldescription.cws_home/505625/description#description http://bura.brunel.ac.uk/handle/2438/361 |
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 against.pdf | 1.24 MB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.