The topical problem of effective verification of digital circuits of different physical systems remains a hot topic. Devices ranging from embedded components to perform specific tasks or experiments to modern communication clusters used for data transmission are concerned. The method of synthesis of the test sequences is based on injection of faults into a reference circuit and deriving a corresponding distinguishing sequence which detects this fault. The method is known as mutation testing and is widely used for the synthesis of high-quality verification tests for digital circuits. Naturally, test suits that detect faults of various classes, and larger amount of faults, are of greater interest. The paper studies the correlation between different test suits derived for different mutant types. The considered fault types include 1) single stuck-at faults, 2) bridges, and 3) hardly detectable faults, i.e., slightly modifying the behavior of a single circuit gate. Tests for detecting faults of each type are derived for the B01-B10 benchmark package (ITC’99 benchmarks (Second Release)), which are components of physical systems intended for various applications including processing of data obtained, load balancing systems, etc. Experiments aim to access the fault coverage of the test derived for one mutant type against faults of other types. It is shown experimentally that the synthesis of tests of one type, including a single stuck-at fault test, is insufficient, because its fault coverage for faults of other types cannot exceed 60%.
Similar content being viewed by others
References
F. Corno, M. S. Reorda, and G. Squillero, IEEE Design Test Comput., 17, 44–53 (2000).
P. P. Parkhomenko, V. V. Karibskii, E. S. Sogomonyan, and V. F. Khalchev, Fundamentals of Technical Diagnostics [in Russian], Energiya, Moscow (1976).
R. Brayton and A. Mishchenko, in: Proc. CAV, LNCS 6174 (2010), pp. 24–40.
G. P. Agibalov and A. M. Oranov, Lectures on the Theory of Finite-State Machines [in Russian], Tomsk State University Publishing House, Tomsk (1984).
U. C. Berkeley, Berkeley logic interchange format (BLIF) [Electronic resource], URL: http://bear.ces.cwru.edu/eecs_cad/sis_blif.pdf (Date 25.05.2016) (1998).
V. V. Andreeva, A. Yu. Matrosova, A. V. Mel’nikov, and A. V. Morozova, Prikl. Diskret. Mat., No. 1, 65–66, (2009).
N. G. Kushik, N. Yevtushenko, S. N. Torgaev, and N. P. Shatilov, in: Proc. IEEE East-West Design & Test Symposium EWDTS’2015 (2015), pp. 330–333.
L. Wall, T. Christiansen, and J. Orwant, Programming, O’Reilly & Associates, Inc., Sebastopol (2000).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Izvestiya Vysshikh Uchebnykh Zavedenii, Fizika, No. 8, pp. 134–139, August, 2016.
Rights and permissions
About this article
Cite this article
Kushik, N.G., López, J.E. & Yevtushenko, N.V. Investigation of Correlation of Test Sequences for Reliability Testing of Digital Physical System Components. Russ Phys J 59, 1274–1280 (2016). https://doi.org/10.1007/s11182-016-0902-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11182-016-0902-9