R. M. Hierons  Home/Search
Context
Related
| brunel.ac.uk/~csstrmh/p...candidates.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: This paper considers the problem of testing a deterministic system against a non-deterministic nite state machine. An adaptive test process, with two phases, is proposed. The paper focuses on the rst stage which involves testing to generate a candidate deterministic nite state machine. This candidate has the property that, under the test hypotheses used, the implementation is correct if and only if it is equivalent to the candidate. A test may then be derived from the candidate. (Update)
Active bibliography (related documents): More All
1.0: Testing Conformance of a Deterministic Implementation against .. - Hierons, Harman (2001) (Correct)
1.0: Testing Conformance of a Deterministic - Implementation Against.. (Correct)
0.6: Testing conformance to a quasi-nondeterministic stream X-machine - Hierons, Harman (2000) (Correct)
Similar documents based on text: More All
0.3: Reduced Length Checking Sequences - Hierons, Ural (2002) (Correct)
0.3: ConSIT: A Fully Automated Conditioned Program Slicer - Fox, Danicic, Harman, Hierons (2003) (Correct)
0.3: Testing a System specified using Statecharts and Z - Hierons, Sadeghipour, Singh (2001) (Correct)
BibTeX entry: (Update)
@misc{ hierons-generating,
author = "R. M. Hierons",
title = "Generating Candidates when testing a deterministic implementation against
a Non-deterministic Finite State Machine",
url = "citeseer.ist.psu.edu/hierons02generating.html" }
Citations (may not include all citations):96 Finite automata and their decision problems (context) - Rabin, Scott - 1959
65 Modeling reactive systems with statecharts: the STATEMATE ap.. (context) - Harel, Politi - 1998
28 Test selection based on communicating nondeterministic nites.. (context) - Luo, von Bochmann et al. - 1994
26 Introduction to The Theory of Finite State Machines (context) - Gill - 1962
24 Fault-detecting experiments for sequential circuits (context) - Hennie - 1964
22 International Telecommunications Union (context) - Recommendation, Speci et al. - 1999
19 Prentice Hall International Editions (context) - Tanenbaum - 1996
18 Testing can be formal too (context) - Gaudel - 1995
16 Introduction to Computer Theory (context) - Cohen - 1997
13 Failure diagnosis of automata (context) - Vasilevskii - 1973
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 Framework on formal methods in conformance testing (context) - Recommendation - 1997
7 Testing deterministic implementations from nondeterministic .. - Petrenko, Yevtushenko et al. - 1996
6 Adaptive testing of a deterministic implementation against a.. (context) - Hierons - 1998
6 Abstract Automata (context) - Starke - 1972
5 Optimal length test sequence generation using distinguishing.. (context) - Ural, Zhu - 1993
5 Testing software design modelled by nite state machines (context) - Chow - 1978
4 Synthesis of Finite State Machines: Functional Optimization (context) - Kam, Villa et al. - 1996
1 Distinguishing tests for non-deterministic nite state machin.. (context) - Yu - 1998
1 An ecient nite-state machine implementation of Hu man decode.. (context) - Iyengar, Chakrabarty - 1998
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