Fault-detection experiment with deterministic realizations and a nondeterministic model

DOI10.1007/BF02911261MaRDI QIDQ1286277zbMATH OpenFDO

Authors N. Evtushenko, A. V. Lebedev

Publication date 3 May 1999

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02911261

zbMATH Keywords

nd-automatonnondeterministic automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Distinguishing and control experiments with nondeterministic automata
• A fault-detection approach to the conformance testing of nondeterministic systems
• Testing finite state machines: Fault detection
• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine

Cited in

(5)

• Simple-fault checking for automata generated by a fault function
• A fault-detection approach to the conformance testing of nondeterministic systems
• Distinguishing and control experiments with nondeterministic automata
• Checking of automata faults specified by an evaluating function
• On testing output faults in the McCluskey fault model

This page was built for publication: Fault-detection experiment with deterministic realizations and a nondeterministic model

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