A Method for the Design of Fault Detection Experiments

DOI10.1109/T-C.1970.222975MaRDI QIDQ5591525zbMATH OpenOpenAlexFDO

Authors Güney Gönenc

Publication date 1970

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/t-c.1970.222975

zbMATH Keywords

languages, automata, networks

Cited in

(13)

• Checking sequences for distributed test architectures
• Hardness of deriving invertible sequences from finite state machines
• Checking experiments for stream X-machines
• The relation between preset distinguishing sequences and synchronizing sequences
• A study on the extended unique input/output sequence
• Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
• Hardness and inapproximability of minimizing adaptive distinguishing sequences
• Lower bounds on lengths of checking sequences
• Exact solutions for the construction of optimal length test sequences
• Towards deriving test sequences by model checking
• Timed implementation relations for the distributed test architecture
• Complexities of some problems related to synchronizing, non-synchronizing and monotonic automata
• Introducing complexity to formal testing

This page was built for publication: A Method for the Design of Fault Detection Experiments

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