R. M. Hierons, M. Harman  Home/Search
Context Related
| brunel.ac.uk/~csstmmh2/tcs2.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brunel.ac.uk/~csstmmh2/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Stream X-machines are a formalisation of extended nite state machines that have been used to specify systems. One of the great bene ts of using stream X-machines, for the purpose of speci cation, 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 speci cation is non-deterministic. However, the algorithms for... (Update)
Cited by: More
Complete Behavioural Testing - Two Extensions To (Correct)
Complete Behavioural Testing of Object-Oriented Systems Using.. - Stannett, al. (2002) (Correct)
Active bibliography (related documents): More All
7.3: Testing Conformance of a Deterministic - Implementation Against.. (Correct)
2.9: Testing conformance to a quasi-nondeterministic stream X-machine - Hierons, Harman (2000) (Correct)
1.4: Testing Conformance to a Quasi-Nondeterministic Stream - Hierons, Harman (2000) (Correct)
Similar documents based on text: More All
0.3: Automatically generating information from a Z.. - Hierons, Harman, Singh (2003) (Correct)
0.3: SEMINAL Software Engineering using Metaheuristic INnovative.. - Harman, Jones (2001) (Correct)
0.3: Generating Candidates when testing a deterministic implementation .. - Hierons (2002) (Correct)
Related documents from co-citation: More All
2: An integration testing method that is proven to find all faults (context) - Ipate, Holcombe - 1997
2: X-machines as a basis for dynamic system specification (context) - Holcombe - 1988
2: The theory and practice of specification based software testing - Laycock - 1992
BibTeX entry: (Update)
Hierons, R.M. and Harman, M. "Testing conformance of a deterministic implementation against a non-deterministic stream X-machine." Preprint, Dept. of Computer Science, Brunel University, 30 October, 2001. http://citeseer.ist.psu.edu/article/hierons01testing.html More
@article{ hierons01testing,
author = "Robert M. Hierons",
title = "Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults",
journal = "Information & Software Technology",
volume = "43",
number = "9",
pages = "551-560",
year = "2001",
url = "citeseer.ist.psu.edu/article/hierons01testing.html" }
Citations (may not include all citations):96 Finite automata and their decision problems (context) - Rabin, Scott - 1959
83 Automating the generation and sequencing of test cases from .. (context) - Dick, Faivre - 1993
78 An optimization technique for protocol conformance test gene.. - Aho, Dahbura et al. - 1988
65 Modeling reactive systems with statecharts: the STATEMATE ap.. (context) - Harel, Politi - 1998
22 International Telecommunications Union (context) - Recommendation, Speci et al. - 1999
18 Testing can be formal too (context) - Gaudel - 1995
14 Correct Systems: Building a Business Process Solution (context) - Holcombe, Ipate - 1998
9 Gedanken-Experiments (context) - Moore - 1956
9 Principles and methods of testing nite-state machines (context) - Lee, Yannakakis - 1996
8 Test generation based on control and data dependencies withi.. (context) - Ural, Saleh et al. - 2000
8 Nondeterministic state machines in protocol conformance test.. (context) - Petrenko, Yevtushenko et al. - 1994
7 Testing deterministic implementations from nondeterministic .. - Petrenko, Yevtushenko et al. - 1996
7 Statechart testing method for aircraft control systems (context) - Bogdanov, Holcombe - 2001
7 On minimizing the lengths of checking sequences (context) - Ural, Wu et al. - 1997
7 Framework on formal methods in conformance testing (context) - Recommendation - 1997
6 Adaptive testing of a deterministic implementation against a.. (context) - Hierons - 1998
6 Testing re nements of state-based formal speci cations (context) - Derrick, Boiten - 1999
6 machines as a basis for dynamic system speci cation (context) - Holcombe - 1988
6 Veri cation and Reliability (context) - Hierons, cation et al. - 1997
5 Testing software design modelled by nite state machines (context) - Chow - 1978
4 Generating test sets from non-deterministic stream X-machine.. (context) - Ipate, Holcombe - 2000
4 COMX: A design methodology using communicating X-machines (context) - Barnard - 1998
4 machines systems are no more than X-machines (context) - Balanescu, Georgescu et al. - 1999
4 Information and Software Technology (context) - Barnard, Whitworth et al. - 1996
3 An integrated methodology for the speci cation (context) - Holcombe - 1993
3 On checking experiments with nondeterministic automata (context) - Yevtushenko, Lebedev et al. - 1991
3 An integration testing method that is proved to nd all fault.. (context) - Ipate, Holcombe - 1997
3 A method for re ning and testing generalised machine speci c.. (context) - Ipate, Holcombe - 1998
3 Resolving inconsistencies in EFSM modeled speci cations (context) - Uyar, Duale - 1999
2 Expanding an extended nite state machine to aid testability (context) - Hierons, Kim et al. - 2002
2 machines to model and test discrete event simulation program.. (context) - Kehris, Eleftherakis et al. - 2000
2 Reduced length checking sequences - Hierons, Ural - 2002
2 Improving design dependability by exploiting an open model-b.. (context) - Tomita, Sakamura - 1999
2 Testing comformance to a quasi-nondeterminstic stream X-mach.. (context) - Hierons, Harman - 2000
Documents on the same site (http://www.brunel.ac.uk/~csstmmh2/papers.html): More
Side-Effect Removal Transformation - Harman, Munro, Hu, Zhang (2001) (Correct)
ConSIT: A Conditioned Program Slicer - Danicic, Harman (2000) (Correct)
The Relationship Between Program Dependence and Mutation.. - Harman, Danicic, Hierons (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC