King's College London

Research portal

Testing conformance of a deterministic implementation against a non-deterministic stream X-machine

Research output: Contribution to journalArticle

Standard

Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. / Hierons, Robert Mark; Harman, Mark.

In: Journal of Theoretical Computer Science, Vol. 323, No. 1-3, 14.09.2004, p. 191-233.

Research output: Contribution to journalArticle

Harvard

Hierons, RM & Harman, M 2004, 'Testing conformance of a deterministic implementation against a non-deterministic stream X-machine', Journal of Theoretical Computer Science, vol. 323, no. 1-3, pp. 191-233. https://doi.org/10.1016/j.tcs.2004.04.002

APA

Hierons, R. M., & Harman, M. (2004). Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. Journal of Theoretical Computer Science, 323(1-3), 191-233. https://doi.org/10.1016/j.tcs.2004.04.002

Vancouver

Hierons RM, Harman M. Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. Journal of Theoretical Computer Science. 2004 Sep 14;323(1-3):191-233. https://doi.org/10.1016/j.tcs.2004.04.002

Author

Hierons, Robert Mark ; Harman, Mark. / Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. In: Journal of Theoretical Computer Science. 2004 ; Vol. 323, No. 1-3. pp. 191-233.

Bibtex Download

@article{1d0ee6f2956c445ab7f42811a7fcd79f,
title = "Testing conformance of a deterministic implementation against a non-deterministic stream X-machine",
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.",
author = "Hierons, {Robert Mark} and Mark Harman",
year = "2004",
month = sep,
day = "14",
doi = "10.1016/j.tcs.2004.04.002",
language = "English",
volume = "323",
pages = "191--233",
journal = "Journal of Theoretical Computer Science",
number = "1-3",

}

RIS (suitable for import to EndNote) Download

TY - JOUR

T1 - Testing conformance of a deterministic implementation against a non-deterministic stream X-machine

AU - Hierons, Robert Mark

AU - Harman, Mark

PY - 2004/9/14

Y1 - 2004/9/14

N2 - 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.

AB - 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.

U2 - 10.1016/j.tcs.2004.04.002

DO - 10.1016/j.tcs.2004.04.002

M3 - Article

VL - 323

SP - 191

EP - 233

JO - Journal of Theoretical Computer Science

JF - Journal of Theoretical Computer Science

IS - 1-3

ER -

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454