Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorHarman, M-
dc.contributor.authorHierons, RM-
dc.identifier.citationTheoretical Computer Science, 323(1-3): 191-233, Sep 2004en
dc.description.abstractStream 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.extent1266136 bytes-
dc.publisherElsevier Scienceen
dc.subjectStream X-machinesen
dc.subjectDeterministic implementationen
dc.titleTesting conformance of a deterministic implementation against a non-deterministic stream X-machineen
dc.typeResearch Paperen
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

Files in This Item:
File Description SizeFormat 
Testing Conformance against.pdf1.24 MBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.