Brunel University Research Archive (BURA) >
Research Areas >
Computer Science >

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
Publication 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:B-SERC Research Papers
School of Information Systems, Computing and Mathematics Research Papers
Computer Science

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.

 


Library (c) Brunel University.    Powered By: DSpace
Send us your
Feedback. Last Updated: September 14, 2010.
Managed by:
Hassan Bhuiyan