Abstract
We compare the LSSD method and the structural-analytical method of diagnostic testing of control automata. The main focus is on the comparison of test length.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Literature Cited
T. W. Williams and K. P. Parker, “Design for testability — a survey,” IEEE Trans. Comput.,C+31, No. 1, 2–15 (1982).
V. V. Brovarnik, “A structure-analytical method of fault checking of control automata,” Élektron. Modelir., No. 4, 71–79 (1981).
V. V. Brovarnik, “Improved testability of microprogrammed control automata,” in: Analysis of Complex Systems by Simulation Modeling [in Russian], Inst. Kibern. Akad. Nauk UkrSSR, Kiev (1986), pp. 47–56.
V. V. Brovarnik, “A structural-analytical method of fault checking of one class of synchronous automata,” Kibernetika, No. 3, 36–43 (1979).
V. V. Brovarnik, “One method of checking of control automata,” Avtomat. Telemekh., No. 11, 124–134 (1982).
A. P. Goryashko, “Design of easily testable discrete devices: ideas, methods implementation,” Avtomat. Telemekh., No. 7, 5–35 (1984).
Additional information
Translated from Kibernetika, No. 3, pp. 17–20, May–June, 1989.
Rights and permissions
About this article
Cite this article
Brovarnik, V.V. Test length estimates for some types of control automata. Cybern Syst Anal 25, 307–311 (1989). https://doi.org/10.1007/BF01069984
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01069984