Synthesis of test tests based on cyclic distinctive sequences
Journal Title: Інформаційно-керуючі системи на залізничному транспорті - Year 2018, Vol 23, Issue 3
Abstract
The author on the basis of theoretical generalization and work in the field of test diagnostics, namely the functional approach and the use of automatic models of grid cells, presents a method for the synthesis of testing tests for a homogeneous network with observable outputs, in which the automatic cell models have distinctive sequences and are strongly connected automata. The strongly coupled property of the network model of the network cell simplifies the procedure for finding a set of tests that verify the correctness of the transition in all cells of a one-dimensional network. The lower and upper limits of the length of the full test test are detected, which reveals a set of constant cell faults, a subclass of jumpers and short circuits, entanglements and inversions that do not increase the number of cell states of a homogeneous network. An algorithm is developed for the generation of test sequences for a homogeneous network with observable outputs, the cell of which is inscribed by the transition-output table of a strongly connected automaton having a distinctive sequence. The use of cyclic distinctive sequences obtained in accordance with the developed algorithm to the homogeneous network of the considered class makes it possible to verify the correspondence of the truth table of each cell of the network to the truth table of a valid cell. A scheme of a multi-bit parallel adder with sequential transfer is presented, represented by a homogeneous network with observable outputs, in which each cell performs the function of a complete single-digit adder. In accordance with the algorithm, for each transition, a cyclic distinctive sequence is found and 8 tests are constructed that verify the adder circuit of any dimension. Test kits allow you to detect any malfunction resulting in a distortion of the automatic cell diagram, with the restriction that at the time of testing only one cell of the network is allowed to malfunction.
Authors and Affiliations
Y. Korolova
Keywords
Related Articles
- EP ID EP498421
- DOI 10.18664/ikszt.v0i3.140349
- Views 128
- Downloads 0
Method of estimation the efficiency of image segmentation
The article is devoted to the development of a method for evaluating the efficiency of segmentation of textual informative image areas, similar in color and structure, obtained as a result of aerial photography. Remote s...
A mathematical model of vibrations of railway track as beams, which has inertial characteristics
A mathematical model of rail track vibrations based on the design diagram of a long beam on many elastic-dissipative supports, which differs from previously developed models, has been developed. It takes into account the...
Prerequisites of intelligent management by changes of the operational properties of building objects by autonomous computer systems
The article is devoted to the choice of means to ensure the functioning of the autonomous computer system of intellectual management by changes in the operational properties of construction objects. It is shown that most...
Microwave powermeter on the basis of the absorbing wall mismatch error
The article considers the relationships between mismatch error and the physical and mathematical model of the absorbing wall. Physical and mathematical model is represented by the heat equation with zero boundary conditi...
Energy characteristics of single-phase active current-source rectifier with sinusoidal and trapezoidal pulse-width modulation
A high power factor (more than 0.9) of AC electric locomotive with traction DC motors can be obtained using traction converters with full-controlled IGBT transistors. Now the actual task is the development of energy-effi...