R.M. Hierons, M. Harman  Home/Search
Context Related
| brunel.ac.uk/~csstrmh/papers...rob_x.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/~csstrmh/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Stream X-machines have been used in order to specify a range of systems. One of the strengths of this approach is that, under certain well defined conditions, it is possible to produce a finite test that is guaranteed to determine the correctness of the implementation under test (IUT). Initially only deterministic stream X-machines were considered in the literature. This is largely because the standard test algorithm relies on the stream X-machine being deterministic. More recently the problem... (Update)
Cited by: More
Complete Behavioural Testing - Two Extensions To (Correct)
Complete Behavioural Testing of Object-Oriented Systems Using.. - Stannett, al. (2002) (Correct)
Similar documents (at the sentence level):
57.2%: Testing conformance to a quasi-nondeterministic stream X-machine - Hierons, Harman (2000) (Correct)
Active bibliography (related documents): More All
1.4: Testing Conformance of a Deterministic - Implementation Against.. (Correct)
1.4: Testing Conformance of a Deterministic Implementation against .. - Hierons, Harman (2001) (Correct)
0.5: FORTEST: Formal Methods and Testing - Bowen, Bogdanov, Clark, Harman.. (2002) (Correct)
Similar documents based on text: More All
0.3: UIO Sequence Based Checking Sequences for Distributed Test.. - Hierons, Ural (Correct)
0.2: Using a Minimal Number of Resets when Testing from a Finite State .. - Hierons (2004) (Correct)
0.2: Using Program Slicing to Assist in the Detection of.. - Hierons, Harman, Danicic (1999) (Correct)
Related documents from co-citation: More All
2: Using X-Machines to Model and Test Discrete Event Simulation Programs (context) - Kehris, Eleftherakis et al. - 2000
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
BibTeX entry: (Update)
Hierons, R.M. and Harman, M. "Testing conformance to a quasi-nondeterministic stream Xmachine. " Formal Aspects of Computing, 12, 423-442 (2000). http://citeseer.ist.psu.edu/hierons00testing.html More
@article{ hierons00testing,
author = "Robert M. Hierons and Mark Harman",
title = "Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine",
journal = "Formal Aspects of Computing",
volume = "12",
number = "6",
pages = "423-442",
year = "2000",
url = "citeseer.ist.psu.edu/hierons00testing.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
61 Test selection based on finite state models - Fujiwara, Bochmann et al. - 1991
26 Introduction to The Theory of Finite State Machines (context) - Gill - 1962
21 Program verification: The very idea (context) - Fetzer - 1988
18 Testing can be formal too (context) - Gaudel - 1995
14 Correct Systems: Building a Business Process Solution (context) - Holcombe, Ipate - 1998
13 An integration testing method that is proved to find all fau.. (context) - Ipate, Holcombe - 1997
11 Testing software design modelled by finite state machines (context) - Chow - 1978
10 Verification and Reliability (context) - Hierons, specification et al. - 1997
9 Gedanken-Experiments (context) - Moore - 1956
9 Construction of checking sequences based on characterization.. (context) - Rezaki, Ural - 1995
8 machines as a basis for dynamic system specification (context) - Holcombe - 1988
7 On minimizing the lengths of checking sequences (context) - Ural, Wu et al. - 1997
7 Testing from a finite state machine: Extending invertibility.. (context) - Hierons - 1997
6 Adaptive testing of a deterministic implementation against a.. (context) - Hierons - 1998
5 A method for refining and testing generalised machine specif.. (context) - Ipate, Holcombe - 1998
4 Future directions for protocol testing (context) - Rayner - 1997
4 Generating test sequences from non-deterministic X-machines (context) - Ipate, Holcombe
4 Information and Software Technology (context) - Barnard, Whitworth et al. - 1996
4 machines systems are no more than X-machines (context) - Balanescu, Georgescu et al. - 1999
4 COMX: A design methodology using communicating X-machines (context) - Barnard - 1998
2 An integrated methodology for the specification (context) - Holcombe - 1993
2 Built-in self-test: A complete test solution for telecommuni.. (context) - Mukerjee, Chakraborty - 1999
Documents on the same site (http://www.brunel.ac.uk/~csstrmh/): More
Using Program Slicing to Assist in the Detection of.. - Hierons, Harman, Danicic (1999) (Correct)
Towards a Maturity Model for Empirical Studies of.. - Harman, Holcombe.. (1999) (Correct)
ConSIT: A Conditioned Program Slicer - Danicic, Harman (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