Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/361
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Harman, M | - |
dc.contributor.author | Hierons, RM | - |
dc.coverage.spatial | 52 | en |
dc.date.accessioned | 2006-11-07T12:40:56Z | - |
dc.date.available | 2006-11-07T12:40:56Z | - |
dc.date.issued | 2004 | - |
dc.identifier.citation | Theoretical Computer Science, 323(1-3): 191-233, Sep 2004 | en |
dc.identifier.uri | http://www.elsevier.com/wps/find/journaldescription.cws_home/505625/description#description | en |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/361 | - |
dc.description.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. | en |
dc.format.extent | 1266136 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Elsevier Science | en |
dc.subject | Stream X-machines | en |
dc.subject | Testing | en |
dc.subject | Non-determinism | en |
dc.subject | Conformance | en |
dc.subject | Deterministic implementation | en |
dc.title | Testing conformance of a deterministic implementation against a non-deterministic stream X-machine | en |
dc.type | Research Paper | en |
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.