Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine

DOI10.1093/COMJNL/41.5.349MaRDI QIDQ4245976zbMATH OpenOpenAlexFDO

Authors Robert M. Hierons

Publication date 31 May 1999

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL http://bura.brunel.ac.uk/handle/2438/348

zbMATH Keywords

finite state machine

Mathematics Subject Classification ID

Recommendations

• Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
• On the synthesis of adaptive tests for nondeterministic finite state machines
• Adaptive tests derivation for nondeterministic automata
• On conformance testing of non-deterministic systems
• A testing procedure for deterministic cover finite state machines

Cited in

(22)

• Fault-detection experiment with deterministic realizations and a nondeterministic model
• Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation
• Synthesis of distinguishing test cases for timed finite state machines
• Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
• Testing finite state machines: Fault detection
• The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs
• On testing UML statecharts
• Complete open-state testing of limitedly nondeterministic systems
• A testing procedure for deterministic cover finite state machines
• A Formal Approach to Heuristically Test Restorable Systems
• Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
• scientific article; zbMATH DE number 1263212 (Why is no real title available?)
• Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
• Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
• Test selection for traces refinement
• Test suites derivation for nondeterministic finite state machines with respect to the separability relation
• Adaptive tests derivation for nondeterministic automata
• Test suites derivation for nondeterministic finite state machines with respect to the separability relation
• The complexity of asynchronous model based testing
• On the synthesis of adaptive tests for nondeterministic finite state machines
• Reducing the cost of applying adaptive test cases
• Checking experiments for stream X-machines

This page was built for publication: Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4245976)