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 137
- Downloads 0
Features of the application of the methodology for assessing the acoustic properties of a room using the example of a press center
The authors described the use of the methodology for assessing the acoustic properties of a room using an example of a room with special acoustic conditions. Substantiation of the sequence of acoustic examination stages...
Analysis of the features of models of optical transport networks
Features of construction of models of optical transport networks are considered. It is noted that the models have common features: a hierarchical level structure, where each level has an independent set of functions, whi...
Method of calculation of parameters of the symmetrical device in a traction system of electric supply of several loads
A promising way of balancing currents in traction power supply systems is to connect to the network symmetric-compensating devices, which consist of reactive elements . A computer model was compiled in the MATLAB program...
The Research of modern methods and means of high-speed diagnostics of railway rails defects (Review)
The task of mobile railway tracks defects diagnostics is to identify and recognize dangerous defects in order to prevent possible accidents. A review of the methods for controlling the physical and mechanical characteris...
The peculiaritiies of assessing process design of current and projected technical condition of a vehicle during operation under ITS
The article presents the results of study assessment process modeling features current and projected technical condition of the car and vehicles in general during their operation. The following features of remote monitor...