RU2595633C1

RU2595633C1 - Method and apparatus for checking of information control systems operation logic

Info

Publication number: RU2595633C1
Application number: RU2015110492/08A
Authority: RU
Inventors: Василий Петрович Голиков; Дмитрий Александрович Ефремов; Василий Олегович Кондратьев; Николай Иванович Крылов; Валерий Борисович Чернышев
Priority date: 2015-03-24
Filing date: 2015-03-24
Publication date: 2016-08-27

Abstract

FIELD: testing methods.

SUBSTANCE: invention relates to methods of testing information control systems (ICS) to generate control commands required depending on conditions of environment, which are defined by information signals supplied to ICS input by creating and using necessary and sufficient testing tests, formed by results of mathematical experiment planning. Technical result is achieved by checking logic of information control systems, which involves formation of set of necessary and sufficient testing tests, as well as control permitted time deviation of output signal to check conformity of ICS to given requirements, and forming a minimum number of sequences of input signals for testing ICS, checking on which guarantees ICS proper operation and complete set of sequences of input signals for ICS testing.

EFFECT: automation of ICS testing process.

5 cl, 5 dwg

Description

Изобретение относится к способам испытаний информационно-управляющих систем (далее ИУС), которые должны формировать необходимые управляющие команды в зависимости от условий обстановки, которые определяются поступающими на вход ИУС информационными сигналами, путем формирования и использования необходимых и достаточных испытательных тестов (наборы испытательных последовательностей информационных сигналов), сформированных по результатам математического планирования эксперимента. Технический результат способа позволит существенно сократить процесс испытаний ИУС. Способ и устройство проверки логики работы информационно-управляющих систем включает формирование совокупности необходимых и достаточных испытательных тестов, а также контроль допустимых отклонений времени формирования выходного сигнала для проверки соответствия ИУС заданным требованиям.The invention relates to methods for testing information management systems (hereinafter IMS), which should form the necessary control commands depending on the environmental conditions, which are determined by the information signals received at the input of the IMS, by forming and using the necessary and sufficient test tests (sets of test sequences of information signals ) formed by the results of mathematical planning of the experiment. The technical result of the method will significantly reduce the testing process of ICS. The method and device for checking the logic of operation of information-control systems includes the formation of a set of necessary and sufficient test tests, as well as the control of permissible deviations of the output signal formation time to verify compliance of the IMS with the specified requirements.

Известен способ формирования испытательных тестов электронных устройств [патент РФ №2469372] для испытаний электронных устройств различного назначения путем использования испытательных тестов (наборы испытательных воздействий и соответствующих им допустимых отклонений контролируемых параметров устройств), сформированных по результатам математического планирования эксперимента. Способ включает реализацию эксперимента с совокупностью устройств и построение математических моделей, отражающих влияние входных сигналов и эксплуатационных воздействий, а также внутренних факторов (разбросов параметров комплектующих элементов), используя которые (математические модели), формируют наборы воздействий и соответствующих им допустимых отклонений выходных параметров устройств (испытательные тесты) для проверки соответствия изготавливаемых устройств заданным требованиям.There is a method of generating test tests of electronic devices [RF patent No. 2469372] for testing electronic devices for various purposes by using test tests (sets of test actions and the corresponding permissible deviations of the controlled parameters of the devices) formed according to the results of mathematical design of the experiment. The method includes the implementation of an experiment with a set of devices and the construction of mathematical models that reflect the influence of input signals and operational influences, as well as internal factors (variations in the parameters of components), using which (mathematical models), they form sets of influences and the corresponding permissible deviations of the output parameters of the devices ( test tests) to verify compliance of manufactured devices with specified requirements.

Недостатком указанного способа является невозможность его использования для формирования испытательных последовательностей информационных сигналов для проведения испытаний ИУС.The disadvantage of this method is the impossibility of its use for the formation of test sequences of information signals for testing ICS.

Известен способ формирования испытательных тестов для испытаний автоматов [Айзерман М.А., Гусев Л.А., Розоноэр Л.И., Смирнова И.М., Таль А.А. «Логика. Автоматы. Алгоритмы.». Издательство «Физматгиз», Москва, 1963 г. ] включающий:A known method of forming test tests for testing machines [Aizerman M.A., Gusev L.A., Rozonoer L.I., Smirnova I.M., Tal A.A. "Logics. Automata Algorithms. ". Publishing house "Fizmatgiz", Moscow, 1963] including:

1) формирование и подачу на вход ИУС всех возможных последовательностей входных сигналов;1) the formation and supply to the input of the ICS of all possible sequences of input signals;

2) для всех последовательностей входных сигналов, содержащих хотя бы одно условие логической функции, ИУС своевременно сформирована правильная управляющая команда (нет пропусков из-за логики);2) for all sequences of input signals containing at least one condition of a logical function, the IMS has the correct control command generated in a timely manner (there are no gaps due to logic);

3) для всех последовательностей входных сигналов, не содержащих ни одного из условий логической функции, не сформирована управляющая команда (нет ложных тревог из-за логики обработки сигналов).3) for all sequences of input signals that do not contain any of the conditions of the logical function, a control command is not generated (there are no false alarms due to the logic of signal processing).

Недостатком данного способа являются необходимость формирования и подачи на вход ИУС всех возможных последовательностей входных сигналов. Суммарное число таких последовательностей для заданного числа входных сигналов с учетом сочетаний и перестановок (без повторений) довольно велико, но его несложно определить по приведенной зависимости:The disadvantage of this method is the need for the formation and submission to the input of the ICS of all possible sequences of input signals. The total number of such sequences for a given number of input signals, taking into account combinations and permutations (without repetitions), is quite large, but it is not difficult to determine by the given dependence:

,

где n - число входных сигналов,where n is the number of input signals,

! - знак факториала.! - a factorial sign.

Так, например, для 7 входных сигналов необходимо сформировать и проверить около 26000 различных последовательностей, для 8 сигналов - более 45 тысяч и т.д. При этом критерием правильности логики работы ИУС является отсутствие ошибок первого и второго рода, то есть справедливо:So, for example, for 7 input signals it is necessary to form and check about 26,000 different sequences, for 8 signals - more than 45 thousand, etc. Moreover, the criterion for the correctness of the logic of the IMS is the absence of errors of the first and second kind, that is, it is true:

для любой последовательности входных сигналов, не содержащей условий логической функции, управляющая команда не вырабатывается;for any sequence of input signals that do not contain the conditions of a logical function, a control command is not generated;

управляющая команда вырабатывается при поступлении первого сигнала, сочетание которого с поступившими ранее сигналами данной последовательности образует одно из условий логической функции.a control command is generated when the first signal arrives, the combination of which with the signals of this sequence received earlier forms one of the conditions of a logical function.

Перед проведением каждого испытания необходимо определить ожидаемый правильный результат для данной последовательности входных сигналов и ожидаемое время формирования управляющей команды при наступлении условий логической функции.Before conducting each test, it is necessary to determine the expected correct result for a given sequence of input signals and the expected time of formation of the control command when the conditions of the logical function occur.

Однако в реальных условиях для проведения такого числа испытаний сложных ИУС может не хватить ни времени, ни материальных средств.However, in real conditions, to conduct such a number of tests of complex ICS, there may not be enough time or material means.

Целью изобретения является разработка способа и устройства формирования специального множества представительных последовательностей, которые должны содержать минимальные и достаточные последовательности входных сигналов, проверка на которых гарантировала бы правильную работу ИУС, как и полная совокупность.The aim of the invention is to develop a method and device for the formation of a special set of representative sequences, which should contain minimal and sufficient sequences of input signals, the verification of which would guarantee the correct operation of the ICS, as well as the complete set.

Поставленная цель достигается тем, что предлагаемый способ формирует минимальное число последовательностей входных сигналов, проверка на которых гарантировала бы правильную работу ИУС, как и полная совокупность. Разработанное устройство реализует предлагаемый способ.This goal is achieved by the fact that the proposed method forms the minimum number of sequences of input signals, verification of which would guarantee the correct operation of the IMS, as well as the complete set. The developed device implements the proposed method.

Рассмотрим информационно управляющую систему, которая должна формировать необходимые управляющие команды в зависимости от условий обстановки, которые определяются поступающими на вход ИУС информационными сигналами. Для обеспечения этой функции в ИУС «прошивается» логика, на основе соответствующей критериальной логической функции F(A). Данная функция зависит от булевых логических переменных A_i (i=1, 2, …, Ν), каждой из которой соответствует единственный входной информационный сигнал.Consider the information management system, which should form the necessary control commands depending on the environmental conditions, which are determined by the information signals received at the input of the IMS. To ensure this function, the logic is “flashed” into the IMS based on the corresponding criterial logical function F (A). This function depends on the Boolean logical variables A _i (i = 1, 2, ..., Ν), each of which corresponds to a single input information signal.

Пусть функция F(A) построена с использованием только знаков логических суммы и произведения: дизъюнкции (+) и конъюнкции (x), а знак логического отрицания при этом не применяется. Слагаемые функции F(A), далее называемые как логические условия, реализуют схему «ИЛИ», и представляют произведение некоторых переменных A_i (схема «И»). Получение ИУС i-го входного сигнала переводит переменную A_i в истинное событие, а после получения входного сигнала, образующего с предыдущими сигналами сочетание истинных событий, соответствующее одному из логических условий функции F(A), формируется и выдается необходимая управляющая команда в течение времени, не превышающего заданное.Let the function F (A) be constructed using only signs of the logical sum and product: disjunction (+) and conjunction (x), and the sign of logical negation is not applied. The terms of the function F (A), hereinafter referred to as logical conditions, implement the “OR” scheme and represent the product of some variables A _i (the “AND” scheme). Receiving the ICS of the i-th input signal translates the variable A _i into a true event, and after receiving the input signal, forming with the previous signals a combination of true events corresponding to one of the logical conditions of the function F (A), the necessary control command is generated and issued over time, not exceeding the set.

В процессе создания (на этапе разработки), очевидно, по разным причинам (неправильное понимание разработчиками требований технического задания, ошибки программирования и др.) могут появиться два типа ошибок в реализации логики функционирования ИУС в различных условиях обстановки, которые необходимо выявить и устранить в ходе испытаний:In the process of creation (at the development stage), obviously, for various reasons (incorrect understanding by developers of the requirements of the technical specifications, programming errors, etc.), two types of errors may appear in the implementation of the logic of the functioning of the IMS in various environmental conditions, which must be identified and eliminated during test:

ошибки 1 рода (пропуск критических условий обстановки) - несвоевременно формируется или вообще не формируется необходимая управляющая команда при наступлении сочетания событий, соответствующей одному из условий логической функции F(A);errors of the first kind (omission of critical environmental conditions) - the necessary control team is not formed in time or does not form at all when a combination of events occurs that corresponds to one of the conditions of the logical function F (A);

ошибки 2 рода (ложные тревоги) - формируется управляющая команда при наступлении сочетания событий, не соответствующей ни одному из условий логической функции F(A).type 2 errors (false alarms) - a control command is formed when a combination of events occurs that does not correspond to any of the conditions of the logical function F (A).

Вместе с тем справедливо предположить, что среди всех возможных последовательностей входных сигналов (все сочетания и перестановки) существуют избыточные, которые ничего нового не вносят в подтверждение правильности логики работы ИУС.At the same time, it is fair to assume that among all possible sequences of input signals (all combinations and permutations) there are redundant ones that do not bring anything new to confirm the correctness of the logic of the IMS.

Будем называть критичным сочетание входных сигналов, содержащее хотя бы одно из условий логической функции. Соответственно, некритичным будет сочетание сигналов, не содержащее ни одного из условий логической функции.A combination of input signals containing at least one of the conditions of a logical function is called critical. Accordingly, a combination of signals that does not contain any of the conditions of a logical function will be uncritical.

Будем называть поглощаемой некритичную последовательность, если ее логические переменные полностью входят в состав хотя бы одного некритичного сочетания. Соответственно некритичное сочетание, переменные которой не входят полностью ни в одну некритичную последовательность, будем называть поглощающей.A non-critical sequence will be called absorbed if its logical variables are fully included in at least one non-critical combination. Accordingly, a non-critical combination, the variables of which do not enter completely into any non-critical sequence, will be called absorbing.

Пример 1: Некритичное сочетание (А₂-А₄-А₅) является поглощающим для 15 поглощаемых некритичных последовательностей: А₂, А₄, А₅, А₂-А₄, А₂-А₅, А₄-А₂, А₄-А₅, А₅-А₂, А₅-А₄, А₂-А₄-А₅, А₂-А₅-А₄, А₅-А₂-А₄, А₅-А₄-А₂, А₄-А₂-А₅, А₄-А₅-А₂.Example 1: Non-critical combination (A ₂ -A ₄ -A ₅ ) is absorbing for 15 absorbed non-critical sequences: A ₂ , A ₄ , A ₅ , A ₂ -A ₄ , A ₂ -A ₅ , A ₄ -A ₂ , A ₄ -A ₅ , A ₅ -A ₂ , A ₅ -A ₄ , A ₂ -A ₄ -A ₅ , A ₂ -A ₅ -A ₄ , A ₅ -A ₂ -A ₄ , A ₅ -A ₄ -A ₂ , A ₄ -A ₂ -A ₅ , A ₄ -A ₅ -A ₂ .

Нетрудно доказать, что испытания логики ИУС при подаче на вход поглощающей некритичной последовательности входных сигналов в любой последовательности эквивалентны проведению испытаний для всех входящих в нее поглощаемых некритичных последовательностей.It is easy to prove that tests of the ICS logic when applying an absorbing non-critical sequence of input signals to an input in any sequence are equivalent to conducting tests for all absorbed non-critical sequences included in it.

Утверждение 1. Если в процессе испытаний установлено, что одна из последовательностей поглощающего некритичного сочетания входных сигналов (А₁, А₂,…, A_i, …, A_N) не переводит логическую функцию F(A) в истинное значение, то и все остальные возможные последовательности (перестановки) данного сочетания также не переводят логическую функцию F(A) в истинное значение.Statement 1. If during the test it was established that one of the sequences of an absorbing non-critical combination of input signals (A ₁ , A ₂ , ..., A _i , ..., A _N ) does not translate the logical function F (A) into a true value, then that's all the remaining possible sequences (permutations) of this combination also do not translate the logical function F (A) into the true value.

Утверждение 1 вытекает из инвариантности условий логической функции F(A) к перестановкам переменных A_i.Assertion 1 follows from the invariance of the conditions of the logical function F (A) to permutations of the variables A _i .

Утверждение 2. Если в процессе испытаний установлено, что поглощающее некритичное сочетание входных сигналов (А₁, А₂, …, A_i, …, A_N) не переводит логическую функцию F(A) в истинное значение, то и все поглощаемые им последовательности входных сигналов не переводят логическую функцию F(A) в истинное значение.Statement 2. If during the tests it was established that the absorbing noncritical combination of input signals (A ₁ , A ₂ , ..., A _i , ..., A _N ) does not translate the logical function F (A) into a true value, then all the sequences absorbed by it input signals do not translate the logical function F (A) to the true value.

Утверждение 2 вытекает из двух положений:Statement 2 follows from two provisions:

поглощаемые последовательности или являются перестановками, или содержат подмножество входных сигналов данного поглощающего некритичного сочетания;the absorbed sequences are either permutations, or contain a subset of the input signals of a given absorbing non-critical combination;

инвариантности условий логической функции F(A) к перестановкам переменных Ai.invariance of the conditions of the logical function F (A) to permutations of the variables Ai.

Таким образом, проведя положительное испытание (отсутствие ложной тревоги) любой последовательности поглощающего некритичного сочетания входных сигналов можно утверждать, что и вся совокупность поглощаемых им последовательностей автоматически проверена с положительным результатом в процессе этого единственного испытания.Thus, having conducted a positive test (absence of false alarm) of any sequence of an absorbing noncritical combination of input signals, it can be argued that the entire set of sequences absorbed by it is automatically checked with a positive result during this single test.

Утверждение 3. Для подтверждения правильности логики работы ИУС вместо полного перебора всех возможных последовательностей входных сигналов (сочетаний и перестановок) достаточно использовать в качестве тестов множество поглощающих некритичных сочетаний входных сигналов, а также каждое из условий логической функции.Statement 3. To confirm the correctness of the logic of the IMS operation, instead of exhaustive search of all possible sequences of input signals (combinations and permutations), it is sufficient to use as a set of absorbing non-critical combinations of input signals, as well as each of the conditions of a logical function.

Доказательство утверждения 3.Proof of Statement 3.

Для доказательства будем последовательно разбивать множество всех последовательностей на определенные подмножества и группы (см. Фиг 1).For the proof, we will sequentially split the set of all sequences into certain subsets and groups (see Fig. 1).

Во-первых, выделим уже известные подмножества некритичных и критичных последовательностей. Ранее уже было доказано, что из-за инвариантности условий логической функции F(A) к перестановкам переменных Ai вместо некритичных последовательностей достаточно использовать в качестве тестов множество поглощающих некритичных сочетаний входных сигналов (в любой последовательности).First, we single out the already known subsets of non-critical and critical sequences. It has already been proved earlier that, due to the invariance of the conditions of the logical function F (A) to permutations of the variables Ai, instead of non-critical sequences, it is sufficient to use a lot of absorbing non-critical combinations of input signals (in any sequence) as tests.

Во-вторых, из подмножества критичных последовательностей выделим группу №1, содержащую все последовательности, точно соответствующие каждому условию логической функции F(A). В силу инвариантности условий логической функции F(A) к перестановкам переменных Ai вместо критичных последовательностей из группы №1 достаточно использовать в качестве тестов соответствующие критичные сочетания данных входных сигналов (в любой последовательности). Таким образом, требуется провести с положительным результатом испытания отдельно по выполнению каждого условия логической функции F(A). Положительным результатом является отсутствие ошибок 1 рода (пропуска критических условий обстановки) и своевременное формирование необходимой управляющей команды при получении именно того входного сигнала (логической переменной), который в сочетании с предшествующими сигналами составляет проверяемое условие логической функции F(A).Secondly, from the subset of critical sequences, we select the group No. 1 containing all sequences that exactly correspond to each condition of the logical function F (A). Due to the invariance of the conditions of the logical function F (A) to permutations of the variables Ai, instead of the critical sequences from group No. 1, it suffices to use the corresponding critical combinations of these input signals (in any sequence) as tests. Thus, it is required to conduct a test with a positive result separately for each condition of the logical function F (A). A positive result is the absence of errors of the first kind (missing critical conditions) and the timely formation of the necessary control command when receiving exactly the input signal (logical variable), which, in combination with the previous signals, makes up the checked condition of the logical function F (A).

Оставшееся подмножество последовательностей будем называть смешанными критичными, так как в каждой из них наряду с условиями логической функции F(A) содержатся и некритичные последовательности. Разделим это подмножество на три группы - №№ 2, 3 и 4.The remaining subset of sequences will be called mixed critical, since in each of them, along with the conditions of the logical function F (A), non-critical sequences are also contained. We divide this subset into three groups - Nos. 2, 3 and 4.

В группу №2 включим последовательности, которые начинаются с одного из условий логической функции F(A). Данная группа не требует отдельных проверок, так как автоматически будет проверена при положительных результатах испытаний последовательностей группы №1.In group No. 2, we include sequences that begin with one of the conditions of the logical function F (A). This group does not require separate checks, as it will be automatically checked if the results of testing sequences of group No. 1 are positive.

В группу №3 включим те, которые начинаются с некритичной последовательности, за которой следуют переменные, соответствующие одному из условий логической функции F(A). Данная группа также не требует отдельных проверок, так как автоматически будет проверена при положительных результатах испытаний множества поглощающих некритичных сочетаний входных сигналов (в любой последовательности) и последовательностей группы №1.In group No. 3, we include those that start with a non-critical sequence, followed by variables corresponding to one of the conditions of the logical function F (A). This group also does not require separate checks, since it will be automatically checked if the test results are positive for many absorbing non-critical combinations of input signals (in any sequence) and sequences of group No. 1.

Наконец, в группе №4 останутся те, которые начинаются с одной из некритичной последовательности, при этом в отличие от группы №3 за ней следует одна из переменных, которая в сочетании с одной или несколькими предшествующими переменными составляет одно из условий логической функции (концовка последовательности за этой переменной принципиального значения не имеет). Из ранее доказанного утверждения о некритичных последовательностях следует, что перестановки внутри него с точки зрения испытаний эквивалентны. Это позволяет любую последовательность из группы №4 преобразовать в эквивалентную последовательность группы №3, в которой за некритичной последовательностью сразу следует одно из условий логической функции F(A). Следовательно, группа №4 по аналогии с группой №3, также не требует отдельных проверок, так как автоматически будет проверена при положительных результатах испытаний множества поглощающих некритичных сочетаний входных сигналов (в любой последовательности) и последовательностей группы №1.Finally, in group No. 4 there will remain those that start with one of the non-critical sequence, while in contrast to group No. 3 it is followed by one of the variables, which, in combination with one or more previous variables, constitutes one of the conditions of a logical function (end of sequence beyond this variable does not matter). From the previously proved statement about noncritical sequences, it follows that permutations inside it are equivalent from the point of view of tests. This allows you to convert any sequence from group No. 4 into an equivalent sequence of group No. 3, in which a non-critical sequence immediately follows one of the conditions of the logical function F (A). Therefore, group No. 4, by analogy with group No. 3, also does not require separate checks, since it will be automatically checked with positive test results for many absorbing non-critical combinations of input signals (in any sequence) and sequences of group No. 1.

Поскольку других типов последовательностей, кроме рассмотренных выше, быть не может, утверждение считается доказанным.Since there can be no other types of sequences besides those considered above, the statement is considered proved.

Таким образом, чтобы минимизировать число испытаний логики ИУС необходимо предварительно сформировать две совокупности сочетаний входных сигналов:Thus, in order to minimize the number of tests of the IMS logic, it is necessary to first form two sets of combinations of input signals:

совокупность критичных сочетаний входных сигналов, соответствующих условиям логической функции;a set of critical combinations of input signals corresponding to the conditions of a logical function;

совокупность поглощающих некритичных сочетаний входных сигналов.a set of absorbing non-critical combinations of input signals.

Формирование совокупности критичных сочетаний входных сигналов осуществляется путем включения всех последовательностей, точно соответствующих каждому условию логической функции F(A).The formation of a set of critical combinations of input signals is carried out by including all sequences that exactly correspond to each condition of the logical function F (A).

Формирование совокупности поглощающих некритичных сочетаний включает следующие четыре процедуры.The formation of a set of absorbing non-critical combinations includes the following four procedures.

1. Выбираются только M переменных логической функции Ai (i=1, 2, …, n), входящих в произведения («одиночки» исключаются из рассмотрения);1. Only M variables of the logical function Ai (i = 1, 2, ..., n) that are part of the product are selected (“loners” are excluded from consideration);

2. Из анализа условий логической функции выбирается размер поглощающих некритичных сочетаний K.2. From the analysis of the conditions of the logical function, the size of absorbing non-critical combinations K is selected.

K=Σ(k_j-1),K = Σ (k _j -1),

где k - количество переменных в j-м логическом условии (j=1,J);where k is the number of variables in the jth logical condition (j = 1, J);

J - количество логических условий.J is the number of logical conditions.

3. Последовательно формируются все сочетания переменных из M по K.3. All combinations of variables from M to K are sequentially formed.

4. С использованием изложенного выше способа определения правильного результата логики работы ИУС для заданной последовательности входных сигналов отбраковываются критичные сочетания, при этом оставшееся множество содержит только поглощающие некритичные сочетания.4. Using the above method of determining the correct result of the logic of the IMS for a given sequence of input signals, critical combinations are rejected, while the remaining set contains only absorbing non-critical combinations.

Пример 2. Пусть F(A)=Α₁+А₂А₃+А₄А₅А₆;Example 2. Let F (A) = Α ₁ + A ₂ A ₃ + A ₄ A ₅ A ₆ ;

1. Выбираем 5 переменных, входящих в произведения - А₂, А₃, А₄, А₅, A₆ (все, кроме A₁).1. Choose 5 variables included in the product - A ₂ , A ₃ , A ₄ , A ₅ , A ₆ (all except A ₁ ).

2. Определяем размер поглощающих некритичных сочетаний 1-1+2--1+3-1=3 переменные (из 4-х переменных составить некритичное сочетание уже не удается).2. We determine the size of absorbing non-critical combinations of 1-1 + 2-1-1 + 3-1 = 3 variables (of the 4 variables, it is no longer possible to compose a non-critical combination).

Формируем все сочетания из 5 выбранных переменных по 3 (10 сочетаний) и, исключая 4, содержащих критичные сочетания (А₂, А₃, А₄), (А₂, A₃, А₅), (А₂, А₃, А₆), (А₆, А₄, А₅), получаем 6 поглощающих некритичных сочетаний:Forming all combinations of the 5 selected variables to 3 (10 combinations) and excluding 4 containing critical combination of (A _2, A _3, A _4), (A _2, A _3, A _5), (A _2, A _3, A ₆ ), (A ₆ , A ₄ , A ₅ ), we get 6 absorbing non-critical combinations:

(А₂, А₄, А₅), (А₂, А₄, А₆), (А₃, А₄, А₅), (А₃, А₄, А₆), (А₂, А₅, А₆), (А₃, А₅, А₆).(A ₂ , A ₄ , A ₅ ), (A ₂ , A ₄ , A ₆ ), (A ₃ , A ₄ , A ₅ ), (A ₃ , A ₄ , A ₆ ), (A ₂ , A ₅ , A ₆ ), (A ₃ , A ₅ , A ₆ ).

Используя предлагаемый способ, минимально необходимое число испытаний для логической функции F(A)=Α₁+Α₂Α₃+Α₄Α₅Α₆ составит всего 9 испытаний (три критичные сочетания входных сигналов: (Α₁), (А₂А₃) и (А₆, А₄, А₅) и 6 поглощающих некритичных сочетаний входных сигналов).Using the proposed method, the minimum required number of tests for logical function F (A) = Α ₁ + Α ₂ Α ₃ + Α ₄ Α ₅ Α ₆ will be only 9 test (three critical combination of input signals: (Α _1), (A ₂ A ₃ ) and (A ₆ , A ₄ , A ₅ ) and 6 absorbing non-critical combinations of input signals).

Тогда как полное число возможных испытаний составляет 2196.Whereas the total number of possible tests is 2196.

Схема устройства для проверки логики работы ИУС в процессе ее испытаний, реализующее описанный выше способ приведена на Фиг 2.A diagram of a device for checking the logic of the ICS during its testing, which implements the method described above, is shown in FIG. 2.

Устройство содержит: блок формирования и выдачи критичных последовательностей 1, блок формирования и выдачи некритичных поглощающих последовательностей 2, блок анализа результатов испытаний 3, генератор тактов 4, группа элементов ИЛИ 5₁-5_Ν, группа триггеров 6₁-6_N, первая группа элементов И 7₁-7_Ν, вторая группа элементов И 8₁-8_Ν, группа элементов задержки 9₁-9_N, N - программно-аппаратных имитаторов (ПАИ) входных сигналов ИУС 10, первый и второй элементы ИЛИ 11, 12, элемент задержки 13, первый и второй триггеры режима 14, 15, первый и второй элементы И 16, 17, таймер 18, третий элементы ИЛИ 19. На чертеже пунктиром показана ИУС 20 и управляющий вход устройства «Вх». Первые информационные выходы блока формирования и выдачи критичных последовательностей 1 соединены с входами группы соответствующих элементов ИЛИ 5₁-5_N и информационными входами 1 блока анализа результатов испытаний 3, а управляющий выход с входом третьего элемента ИЛИ 19 и с входом установки триггера режима 14 в единичное состояние, вторые информационные выходы блока формирования и выдачи критичных последовательностей 1 соединены с информационными входами блока формирования и выдачи некритичных поглощающих последовательностей 2, управляющий выход блока формирования и выдачи некритичных поглощающих последовательностей 2 соединен с входом установки второго триггера 15 в нулевое состояние, а информационные выходы блока формирования и выдачи некритичных поглощающих последовательностей 2 соединены с вторыми входами группы соответствующих элементов ИЛИ 5₁-5_N, выходы которых соединены с входами установки в единичное состояние группы соответствующих триггеров 6₁-6_N, нулевые выходы которых соединены с первыми входами группы элементов И 7₁-7_N, а единичные выходы соединены с первыми входами группы элементов И 8₁-8_N, выход генератора тактов 4 соединен со вторым входом блока анализа результатов испытаний 3 и со вторыми входами первых элементов И первой и второй групп 7, 8, выход i-го (i=1, 2, …, Ν-1) элемента И первой группы 7 соединен со вторыми входами (i+1)-x элементов И первой и второй групп 7, 8, выходы элементов И второй группы соединены с входами соответствующих ПАИ 10₁-10_N и входами группы соответствующих элементов задержек 9₁-9_Ν, выходы которых соединены с входами установки в нулевое состояние группы соответствующих триггеров 6₁-6_N, выходы ПАИ 10₁-10 соединены с соответствующими входами испытуемой ИУС, выход которой соединен с третьим входом блока анализа результатов испытаний 3, выход N-го элемента И первой группы соединен с четвертым входом блока анализа результатов испытаний 3, входом таймера 18 и с входом останова генератора тактов 4, выход таймера 18 соединен с первыми входами первого и второго элемента И 16, 17, ко вторым входам которых подключен единичный выход второго триггера режима 15, а к третьим входам единичный и нулевой выходы первого триггера режима 14, выход первого элемента И 16 соединен с пятым входом блока анализа результатов испытаний 3, с первым входом первого элемента ИЛИ 11 и входом третьего элемента ИЛИ 19, выход которого соединен с управляющим входом блока формирования и выдачи некритичных поглощающих последовательностей 2, выход второго элемента И 17 соединен с шестым входом блока анализа результатов испытаний 3 и с первым входом второго элемента ИЛИ 12, второй вход которого является управляющим входом устройства, соединен с входом установки первого триггера в нулевое состояние и с входом установки второго триггера в единичное состояние, а выход соединен с управляющим входом блока формирования и выдачи критичных последовательностей 1 и вторым входом первого элемента ИЛИ 11, выход которого подключен через элемент задержки 13 к входу запуска генератора тактов 4.The device comprises: a unit for generating and issuing critical sequences 1, a unit for generating and issuing non-critical absorbing sequences 2, a unit for analyzing test results 3, a clock generator 4, a group of elements OR 5 ₁ -5 _Ν , a group of triggers 6 ₁ -6 _N , a first group of elements And 7 ₁ -7 _Ν , the second group of elements And 8 ₁ -8 _Ν , the group of delay elements 9 ₁ -9 _N , N - hardware-software simulators (PAI) of the input signals of ICS 10, the first and second elements OR 11, 12, element delays 13, the first and second triggers of mode 14, 15, the first and second elements And 16 , 17, timer 18, third elements OR 19. In the drawing, the dotted line shows the ICS 20 and the control input of the device "Bx". The first information outputs of the unit for generating and issuing critical sequences 1 are connected to the inputs of the group of the corresponding elements OR 5 ₁ -5 _N and the information inputs 1 of the analysis unit of the test results 3, and the control output with the input of the third element OR 19 and with the input of the installation of the trigger mode 14 in a single the state, the second information outputs of the block for generating and issuing critical sequences 1 are connected to the information inputs of the block for generating and issuing non-critical absorbing sequences 2, control the output of the unit for generating and issuing non-critical absorbing sequences 2 is connected to the input of setting the second trigger 15 to zero, and the information outputs of the unit for generating and issuing non-critical absorbing sequences 2 are connected to the second inputs of the group of corresponding elements OR 5 ₁ -5 _N , the outputs of which are connected to Fitting inputs in one state group corresponding triggers June ₁ -6 _N, zero outputs are connected to first inputs of aND gates group July ₁ -7 _N, and isolated outputs are connected the first inputs of the group of AND gates 8 ₁ -8 _N, generator output bars 4 connected to a second input test data analysis unit 3 and to the second inputs of the first member and the first and second groups 7, 8, output i-th (i = 1, 2, ..., Ν-1) and the first group element 7 is connected to the second inputs (i + 1) -x elements and the first and second groups of 7, 8, and outputs elements of the second group are connected to the inputs of the corresponding PAI January ₁₀ -10 _N and the inputs of the group the corresponding delay elements 9 ₁ -9 _Ν , the outputs of which are connected to the inputs of the installation in the zero state of the group corresponding t riggers 6 ₁ -6 _N , PAI outputs 10 ₁ -10 are connected to the corresponding inputs of the test ICS, the output of which is connected to the third input of the test results analysis block 3, the output of the Nth element And the first group is connected to the fourth input of the test results analysis block 3, the input of the timer 18 and with the stop input of the clock generator 4, the output of the timer 18 is connected to the first inputs of the first and second elements And 16, 17, to the second inputs of which is connected a single output of the second trigger of mode 15, and to the third inputs the single and zero outputs of the first trigger 14, the output of the first element And 16 is connected to the fifth input of the unit for analysis of test results 3, with the first input of the first element OR 11 and the input of the third element OR 19, the output of which is connected to the control input of the unit for generating and issuing non-critical absorbing sequences 2, the output of the second element And 17 is connected to the sixth input of the test results analysis unit 3 and to the first input of the second element OR 12, the second input of which is the control input of the device, connected to the input of setting the first trigger to the zero state e and with the input for setting the second flip-flop to one state and the output connected to the control input generation unit and outputting critical sequences 1 and the second input of the first OR gate 11, whose output is connected via a delay element 13 to the trigger input 4 clock cycles of the generator.

Блок формирования и выдачи критичных последовательностей содержит устройство набора и ввода 21 и блок хранения и выдачи 22, причем выходы устройства набора и ввода 21 соединены с входами блок хранения и выдачи 22 первые и вторые информационные выходы которого являются первыми и вторыми выходами блока формирования и выдачи критичных последовательностей, а управляющие вход и выход являются управляющими входом и выходом блока формирования и выдачи критичных последовательностей.The critical sequence generating and issuing unit comprises a dialing and inputting device 21 and a storage and dispensing unit 22, the outputs of the dialing and inputting device 21 being connected to the inputs of the storage and issuing unit 22 whose first and second information outputs are the first and second outputs of the critical generating and issuing unit sequences, and the control input and output are the control input and output of the block forming and issuing critical sequences.

Блок формирования и выдачи поглощающих некритичных последовательностей содержит устройство перебора сочетаний 23, блок сравнения 24, блок хранения и выдачи 25, группу элементов И 26, элемент ИЛИ 27, причем выходы устройства перебора сочетаний 23 соединены с входами группы соответствующих элементов И 26 и с информационными входами блока сравнения 24, вторые информационные входы которого являются входами блока формирования и выдачи 25, первый выход блока сравнения 24 соединен с входом элемента ИЛИ 27, второй выход блока сравнения соединен со вторыми входами группы элементов И 26 и вторым входом элемента ИЛИ 27, третий вход которого является входом запуска формирования сочетаний, выход соединен с управляющим входом устройства перебора сочетаний 23, выходы группы элементов И 26 соединены с информационными входами блока хранения и выдачи 25, информационные выходы которого являются выходами блока формирования и выдачи поглощающих некритичных последовательностей, а управляющие вход и выход являются управляющими входом и выходом, блока формирования и выдачи поглощающих некритичных последовательностей.The unit for generating and issuing absorbing non-critical sequences comprises a combination enumeration device 23, a comparison unit 24, a storage and delivery unit 25, a group of AND elements 26, an OR element 27, the outputs of the combination enumeration device 23 being connected to the inputs of the group of corresponding And elements 26 and to information inputs the comparison unit 24, the second information inputs of which are the inputs of the formation and delivery unit 25, the first output of the comparison unit 24 is connected to the input of the OR element 27, the second output of the comparison unit is connected to the second the inputs of the group of elements And 26 and the second input of the element OR 27, the third input of which is the input for starting the formation of combinations, the output is connected to the control input of the device for enumerating combinations 23, the outputs of the group of elements And 26 are connected to the information inputs of the storage and output unit 25, the information outputs of which are the outputs of the block forming and issuing absorbing non-critical sequences, and the control input and output are the controlling input and output of the block forming and issuing absorbing non-critical sequences quently.

Блок анализа результатов испытаний содержит устройство для определения количества единиц в коде 28, первый счетчик 29, счетчик неуспешных испытаний 30, счетчик успешных испытаний 31, первый, второй и третий триггеры 32, 33, 34, первый, второй, третий, четвертый и пятый элементы И 35-39, первый и второй элементы ИЛИ 40, 41, первый и второй элементы задержки 42, 43, причем первые информационные входы блока анализа результатов испытаний соединен с входами устройства для определения количества единиц в коде 28, выходы которого соединены с входами установки первого счетчика 29 в соответствующее количеству единиц в коде состояние, второй вход блока анализа результатов испытаний соединен с вычитающим входом первого счетчика 29, выход которого соединен с входом установки в единичное состояние второго триггера 33, к с входу установки в нулевое состояние второго подключен четвертый вход блока анализа результатов испытаний, пятый вход блока анализа результатов испытаний соединен с входами первого и второго элементов И 35, 36 и через первый элемент задержки 42 с входом установки в нулевое состояние первого триггера 32, выходы которого соединены с входами первого и второго элементов И 35, 36, выход первого элемента И 35 соединен с входом второго элемента ИЛИ 41, а выход второго элемента И 36 соединен с входом первого элемента ИЛИ 40, выходы второго триггера 33 соединены с входами третьего и четвертого элементов И 37, 38, выход третьего элемента И 37 соединен с входом первого элемента ИЛИ 40, а выход четвертого элемента И 38 соединен с входом второго элемента ИЛИ 41, третий вход блока анализа результатов испытаний соединен с входами установки первого и третьего триггера 32, 34 в единичное состояние и входами третьего и четвертого элементов И 37, 38, шестой вход блока анализа результатов испытаний соединен с входом пятого элемента И 39, ко второму входу которого подключен нулевой выход третьего триггера 34, выход пятого элемента И 39 соединен с входом первого элемента ИЛИ 40 и через второй элемент задержки 43 к входу установки в нулевое состояние третьего триггера 34, выход первого элемента ИЛИ 40 соединен с входом счетчика неуспешных испытаний 30, а выход второго элемента ИЛИ 41 соединен входом счетчика успешных испытаний 31.The unit for analyzing test results contains a device for determining the number of units in code 28, the first counter 29, the counter of unsuccessful tests 30, the counter of successful tests 31, the first, second, and third triggers 32, 33, 34, the first, second, third, fourth, and fifth elements And 35-39, the first and second elements OR 40, 41, the first and second delay elements 42, 43, and the first information inputs of the test analysis unit are connected to the inputs of the device to determine the number of units in code 28, the outputs of which are connected to the inputs of the installation of the first of the counter 29 in the state corresponding to the number of units in the code, the second input of the test results analysis unit is connected to the subtracting input of the first counter 29, the output of which is connected to the unit input to the unit state of the second trigger 33, and the fourth block input is connected to the unit's zero state analysis of test results, the fifth input of the block of analysis of test results is connected to the inputs of the first and second elements And 35, 36 and through the first delay element 42 with the input of the installation in the zero state of the first trigger 32, the outputs of which are connected to the inputs of the first and second elements And 35, 36, the output of the first element And 35 is connected to the input of the second element OR 41, and the output of the second element And 36 is connected to the input of the first element OR 40, the outputs of the second trigger 33 are connected to the inputs of the third and fourth elements And 37, 38, the output of the third element And 37 is connected to the input of the first element OR 40, and the output of the fourth element And 38 is connected to the input of the second element OR 41, the third input of the unit for analysis of test results is connected to the inputs of the installation of the first and third trigger 32, 34 in a single state and the inputs of the third and fourth elements And 37, 38, the sixth input of the test results analysis unit is connected to the input of the fifth element And 39, to the second input of which the zero output of the third trigger 34 is connected, the output of the fifth element And 39 is connected to the input of the first OR element 40 and through the second delay element 43 to the zero input of the third trigger 34, the output of the first OR element 40 is connected to the input of the counter of unsuccessful tests 30, and the output of the second OR element 41 is connected to the counter input successfully s Test 31.

Работу устройства рассмотрим на приведенном выше примере №2. Пусть ИУС предназначена для реализации следующей логической функции:We consider the operation of the device in the above example No. 2. Let the ICS is designed to implement the following logical function:

F(A)=A₁+А₂А₃+А₄А₅А₆.F (A) = A ₁ + A ₂ A ₃ + A ₄ A ₅ A ₆ .

До начала испытаний путем анализа логической функции, испытуемой ИУС, формируются условия логической функции (A₁), (А₂А₃), (А₄А₅А₆) и с помощью устройства набора и ввода 21 (фиг. 3) блока формирования и выдачи критичных последовательностей осуществляется запись всех критичных последовательностей в блок хранения и выдачи 22. Устройство набора и ввода 21, в общем случае, может представлять наборное поле. Блок хранения и выдачи 22 может быть выполнен в виде сдвиговых регистров. В блок хранения и выдачи 22 будут записаны три кода: (100000), (011000) и (000111).Prior to testing, by analyzing the logical function tested by the ICS, the conditions of the logical function (A ₁ ), (A ₂ A ₃ ), (A ₄ A ₅ A ₆ ) are formed and using the set and input device 21 (Fig. 3) of the formation unit and issuing critical sequences, all critical sequences are recorded in the storage and output unit 22. The dialing and input device 21, in the general case, can represent a dialing field. The storage and delivery unit 22 may be made in the form of shift registers. Three codes will be written to the storage and dispensing unit 22: (100000), (011000) and (000111).

Затем формируем поглощающие некритичные последовательности следующим образом.Then we form absorbing non-critical sequences as follows.

Выбираем 5 переменных, входящих в произведения - А₂, А₃, А₄, А₅, А₆ (все, кроме A₁).We select 5 variables included in the product - A ₂ , A ₃ , A ₄ , A ₅ , A ₆ (all except A ₁ ).

Определяем размер поглощающих некритичных сочетаний 1-1+2--1+3-1=3 переменные (из 4-х переменных составить некритичное сочетание уже не удается).We determine the size of absorbing non-critical combinations of 1-1 + 2--1 + 3-1 = 3 variables (of the 4 variables, it is no longer possible to make a non-critical combination).

В устройство перебора сочетаний 23 (фиг. 4) вводим состав переменных и количество переменных в сочетаниях и запуская устройство перебора сочетаний формируем первый код 011100, который поступает в блок сравнения. Так как данный код содержит критичную последовательность 011000, то на первом выходе блока сравнения 24 появится сигнал, который поступит через элемент ИЛИ 27 на управляющий вход устройства перебора сочетаний 23 и будет сформировано следующее сочетание 011010, которое также содержит критичную последовательность 011000. Аналогично будут сформированы следующие сочетания 011001 и 010110. Последнее сочетание не содержит критичную последовательность и сигнал появится на втором выходе блока сравнения 24, по которому откроются элементы И 26 и в блок хранения и выдачи 25 поступит код, не содержащий критичную последовательность. Сигнал со второго выхода блока 24 поступит через элемент ИЛИ 27 на управляющий вход устройства перебора сочетаний 23 и будет сформировано следующее сочетание 010101. Аналогично будут сформированы следующие сочетания 010011, 001110, 001101, 001011 и 000111. Последнее сочетание содержит критичную последовательность и, следовательно, в блок хранения и выдачи 25 не запишется. Таким образом, в блоке хранения и выдачи 25 будут записаны коды: 010110, 010101, 010011, 001110, 001101, 001011, которые содержат 6 поглощающих некритичных сочетаний.In the device of enumeration of combinations 23 (Fig. 4) we enter the composition of the variables and the number of variables in the combinations and starting the device of enumeration of combinations we form the first code 011100, which enters the comparison unit. Since this code contains the critical sequence 011000, a signal will appear at the first output of the comparison unit 24, which will be transmitted through the OR element 27 to the control input of the combination search device 23 and the next combination 011010 will be generated, which also contains the critical sequence 011000. The following will be generated similarly combinations 011001 and 010110. The last combination does not contain a critical sequence and the signal appears on the second output of the comparison unit 24, through which the And 26 elements will open both in the storage unit and in Issue 25 will receive a code that does not contain a critical sequence. The signal from the second output of block 24 will go through the OR element 27 to the control input of the combination search engine 23 and the next combination 010101 will be generated. The following combinations 010011, 001110, 001101, 001011 and 000111 will be generated in the same way. The last combination contains a critical sequence and, therefore, the storage and delivery unit 25 is not recorded. Thus, in the storage and delivery unit 25, codes will be recorded: 010110, 010101, 010011, 001110, 001101, 001011, which contain 6 absorbing non-critical combinations.

После формирования критичных последовательностей и поглощающих некритичных последовательностей проводятся испытания ИУС следующим образом.After the formation of critical sequences and absorbing non-critical sequences, the ICS tests are carried out as follows.

На вход 20 устройства (фиг. 2) подается сигнал, который установит триггер 15 в единичное состояние и через элемент ИЛИ 12 поступит вход элемента ИЛИ 11 и на управляющий вход блока формирования и выдачи критичных последовательностей 1. Блок формирования и выдачи критичных последовательностей 1 по сигналу выдает первую критичную последовательность 100000, которая поступит через элементы ИЛИ 5 на входы триггеров бив блок анализа в устройство определения единиц 28 и установит счетчик 29 в состояние один (по количеству единиц в коде). С выхода элемента ИЛИ 11 через элемент задержки 13 запускается генератор тактов 4. Период следования импульсов выбирают равным допустимому времени формирования сигнала ИУС (требования технического задания). С выхода генератора тактов 4 первый импульс поступит через открытый элемент И 8₁ на вход ПАИ 10₁, через элемент задержки 9₁ установит триггер 6₁ в нулевое состояние и поступит на вычитающий вход счетчика 29 блока анализа 3. Счетчик 29 обнулится и триггер 33 установится в единичное состояние. ПАИ 10₁ выдаст в ИУС в соответствии с заданными параметрами сигнал Α₁. Если на выходе испытуемой ИУС в течение допустимого времени появится управляющий сигнал, который поступит на третий вход блока анализа, то этот сигнал установит триггеры 32, 34 в единицу и через открытый элемент И 38, ИЛИ 41 поступит в счетчик успешных испытаний. Если ИУС не сформирует сигнал до второго такта, то второй тактовый импульс пройдя открытые элементы И 7₁-7_Ν, поступит на вход таймера 18 вход останова генератора тактов 4 и четвертый вход блока анализа и установит триггер 33 в нулевое состояние. Если ИУС сформирует сигнал после второго такта, что не соответствует заданным требованиям по времени формирования сигнала, то сигнал с выхода ИУС установит триггеры 32, 34 в единичное состояние и, пройдя открытый элемент И37, элемент ИЛИ 40 поступит на вход счетчика неуспешных испытаний 30. Если ИУС не сформирует сигнал до окончания действия таймера 18. то сигнал с выхода таймера 18 поступит через открытый элемент И 17 на шестой вход блока анализа и через открытый элемент И 39, ИЛИ 40 поступит на вход счетчика неуспешных испытаний 30, кроме того, сигнал с выхода элемента И 17 поступит через элемент ИЛИ 12 на управляющий вход блока формирования и выдачи критичных последовательностей 1 и элемент ИЛИ 11. Блок формирования и выдачи критичных последовательностей 1 по сигналу выдает вторую критичную последовательность 011000, которая поступит через элементы ИЛИ 5 на входы триггеров 6 и в блок анализа в устройство определения единиц 28 и установит счетчик 29 в состояние два (по количеству единиц в коде). С выхода элемента ИЛИ 11 через элемент задержки 13 запускается генератор тактов 4.At the input 20 of the device (Fig. 2), a signal is applied that sets the trigger 15 to a single state and through the element OR 12 the input of the element OR 11 arrives at the control input of the unit for generating and issuing critical sequences 1. The unit for generating and issuing critical sequences 1 by signal gives the first critical sequence 100000, which will go through the OR elements 5 to the inputs of the triggers by breaking the analysis unit into the unit determination unit 28 and sets the counter 29 to state one (by the number of units in the code). From the output of the OR element 11 through the delay element 13, the clock generator 4 is started. The pulse repetition period is chosen equal to the allowable time for generating the ICS signal (technical requirements). From the output of the clock generator 4, the first pulse will come through the open element And 8_one input PAI 10_one, through delay element 9_one install trigger 6_one to the zero state and will go to the subtracting input of the counter 29 of the analysis unit 3. The counter 29 will be reset to zero and the trigger 33 will be set to a single state. PAI 10_one will give a signal Α to the IMS in accordance with the set parameters_one. If the control signal appears at the output of the ICS under test within a reasonable time and will be sent to the third input of the analysis unit, this signal will set the triggers 32, 34 to one and through the open element AND 38, OR 41 will go to the counter of successful tests. If the ICS does not generate a signal before the second clock, then the second clock pulse passing open elements And 7_one-7_Ν, will go to the input of the timer 18, the stop input of the clock generator 4 and the fourth input of the analysis unit and set the trigger 33 to zero. If the ICS generates a signal after the second clock, which does not meet the specified requirements for the time of signal formation, the signal from the output of the ICS will set the triggers 32, 34 to a single state and, having passed the open I37 element, the OR 40 will go to the input of the counter of unsuccessful tests 30. If The ICS will not generate a signal until the end of timer 18. The signal from the output of timer 18 will go through the open element AND 17 to the sixth input of the analysis unit and through the open element AND 39, OR 40 will go to the input of the counter of unsuccessful tests 30, in addition, the signal from the output of the element And 17 will go through the OR element 12 to the control input of the critical sequences formation and output unit 1 and the OR element 11. The critical sequences 1 formation and output unit 1 will give a second critical sequence 011000 by signal, which will go through the OR 5 elements to the inputs of triggers 6 and into the analysis unit in the unit determination unit 28 and sets the counter 29 to state two (by the number of units in the code). From the output of the OR element 11 through the delay element 13, the clock generator 4 is started.

Первый тактовый импульс поступит через открытый элемент И 7₁ и И 8₂ на вход ПАИ 10₂ через элемент задержки 9₂ установит триггер 6₂ в нулевое состояние и поступит на вычитающий вход счетчика 29 блока анализа 3. ПАИ 10₂ выдаст в ИУС в соответствии с заданными параметрами сигнал А₂. Значение счетчика 29 уменьшится на единицу.The first clock pulse arrives through the open element And 7 ₁ and And 8 ₂ to the input of the PAI 10 ₂ through the delay element 9 ₂ sets the trigger 6 ₂ to zero and goes to the subtracting input of the counter 29 of the analysis unit 3. The PAI 10 ₂ will issue in the ICS in accordance with the given parameters, the signal A ₂ . The value of counter 29 will decrease by one.

Если ИУС сформирует сигнал после первого такта, что не соответствует логическому условию формирования сигнала, то сигнал с выхода ИУС установит триггеры 32, 34 в единичное состояние и, пройдя открытый элемент И37, элемент ИЛИ 40 поступит на вход счетчика неуспешных испытаний 30. Если ИУС не сформирует сигнал после первого такта, то второй тактовый импульс поступит через открытый элемент И 7₁ И 7₂ и И 8₃ на вход ПАИ 10₃ через элемент задержки 9₃ установит триггер 6₃ в нулевое состояние и поступит на вычитающий вход счетчика 29 блока анализа 3. ПАИ 10₃ выдаст в ИУС в соответствии с заданными параметрами сигнал А3. Счетчик 29 обнулится и триггер 33 установится в единичное состояние.If the ICS will generate a signal after the first clock cycle, which does not correspond to the logical condition for the formation of the signal, then the signal from the output of the ICS will set the triggers 32, 34 to a single state and, having passed the open I37 element, the OR element 40 will go to the input of the counter of unsuccessful tests 30. If the ICS does not generates a signal after the first clock, the second clock will go through the open element And 7 ₁ And 7 ₂ and And 8 ₃ to the input PAI 10 ₃ through the delay element 9 ₃ sets the trigger 6 ₃ to zero and goes to the subtracting input of the counter 29 of the analysis unit 3. PAI 10 ₃ issue ast in ICS in accordance with the specified parameters signal A3. The counter 29 will be reset to zero and the trigger 33 will be set to a single state.

Если на выходе испытуемой ИУС в течении допустимого времени появится управляющий сигнал, который поступит на третий вход блока анализа, то этот сигнал установит триггеры 32, 34 в единицу и через открытый элемент И 38, ИЛИ 41 поступит в счетчик успешных испытаний. Если ИУС не сформирует сигнал до третьего такта, то третий тактовый импульс, пройдя открытые элементы И 7₁-7_N, поступит на вход таймера 18 вход останова генератора тактов 4 и четвертый вход блока анализа, и установит триггер 33 в нулевое состояние. Если ИУС сформирует сигнал после третьего такта, что не соответствует заданным требованиям по времени формирования сигнала, то сигнал с выхода ИУС установит триггеры 32, 34 в единичное состояние и, пройдя открытый элемент И37, элемент ИЛИ 40 поступит на вход счетчика неуспешных испытаний 30. Если ИУС не сформирует сигнал до окончания действия таймера 18, то сигнал с выхода таймера 18 поступит через открытый элемент И 17 на шестой вход блока анализа и через открытый элемент И 39, ИЛИ 40 поступит на вход счетчика неуспешных испытаний 30, кроме того, сигнал с выхода элемента И 17 поступит через элемент ИЛИ 12 на управляющий вход блока формирования и выдачи критичных последовательностей 1 и элемент ИЛИ 11. Блок формирования и выдачи критичных последовательностей 1 по сигналу выдает третью критичную последовательность 000111, которая поступит через элементы ИЛИ 5 на входы триггеров 6 и в блок анализа в устройство определения единиц 28, и установит счетчик 29 в состояние три (по количеству единиц в коде). С выхода элемента ИЛИ 11 через элемент задержки 13 запускается генератор тактов 4. Работа устройства будет продолжена описанным выше способом. После поступления с выхода элемента ИЛИ 12 на управляющий вход блока формирования и выдачи критичных последовательностей 1 сигнала выдачи очередной критической последовательности данный сигнал поступит на управляющий выход блока формирования и выдачи критичных последовательностей 1, т.к. все записанные последовательности выданы. Этот сигнал поступит через элемент ИЛИ 19 на вход блока формирования и выдачи некритичных поглощающих последовательностей 2 и установит триггер 14 в единичное состояние. Блок формирования и выдачи некритичных поглощающих последовательностей 2 выдает первую некритичную поглощающую последовательность 010110, которая запишется через элементы ИЛИ 5 в триггеры 6. Сигнал с выхода задержки 13 запустит генератор тактов. Описанным выше способом ПАИ 10 поочередно выдают в ИУС сигналы А₂, А₄, А₅, которые не содержат критичных сочетаний и испытуемая ИУС не должна вырабатывать управляющий сигнал. Если испытуемая ИУС выработает управляющий сигнал, в блоке анализа триггер 32 установится в единичное состояние. Сигнал с выхода таймера 18 через элемент И 17 поступит на пятый вход блока анализа и через элементы И 36, ИЛИ 40 на вход счетчика неуспешных испытаний. В случае отсутствия сформированного ИУС управляющего сигнала триггер будет в нулевом состоянии и сигнал с выхода таймера 18 через элемент И 17 поступит на пятый вход блока анализа и через элементы И 35, ИЛИ 41 на вход счетчика успешных испытаний. Далее работа устройства будет продолжена аналогичным образом. После обработки последней некритичной поглощающей последовательности на управляющем выходе блока формирования и выдачи некритичных поглощающих последовательностей 2 появится сигнал устанавливающий триггер 15 в нулевое состояние и сигнализирующий об окончании процесса испытаний.If the control signal appears at the output of the ICS under test within a reasonable time and will be sent to the third input of the analysis unit, this signal will set the triggers 32, 34 to one and through the open element AND 38, OR 41 will go to the counter of successful tests. If the ICS does not generate a signal before the third clock, then the third clock, passing the open elements And 7 ₁ -7 _N , will go to the input of the timer 18, the stop input of the clock 4 and the fourth input of the analysis unit, and set the trigger 33 to zero. If the ICS generates a signal after the third clock cycle, which does not meet the specified requirements for the time of signal formation, the signal from the output of the ICS will set the triggers 32, 34 to a single state and, having passed the open I37 element, the OR 40 will go to the input of the counter of unsuccessful tests 30. If If the ICS does not generate a signal before the end of timer 18, the signal from the output of timer 18 will go through the open element AND 17 to the sixth input of the analysis unit and through the open element AND 39, OR 40 will go to the input of the counter of unsuccessful tests 30, in addition, from the output of the element And 17 will go through the OR element 12 to the control input of the critical sequences formation and output unit 1 and the OR element 11. The critical sequences 1 formation and output unit 1 will signal the third critical sequence 000111, which will go through the OR 5 elements to the inputs of the triggers 6 and into the analysis unit in the unit determination unit 28, and sets the counter 29 to state three (by the number of units in the code). From the output of the OR element 11 through the delay element 13, the clock generator 4 is started. The operation of the device will be continued as described above. After the output from the output of the OR element 12 to the control input of the unit for generating and issuing critical sequences 1 of the signal for issuing the next critical sequence, this signal will go to the control output of the unit for generating and issuing critical sequences 1, because all recorded sequences are issued. This signal will go through the OR element 19 to the input of the block forming and issuing non-critical absorbing sequences 2 and will set the trigger 14 to a single state. The unit for generating and issuing non-critical absorbing sequences 2 provides the first non-critical absorbing sequence 010110, which is written through the elements of OR 5 to the triggers 6. The signal from the delay output 13 will start the clock generator. By the method described above, the PAI 10 alternately outputs to the IMS signals A ₂ , A ₄ , A ₅ that do not contain critical combinations and the test IMS should not generate a control signal. If the test IMS generates a control signal, in the analysis unit, the trigger 32 is set to a single state. The signal from the output of the timer 18 through the And 17 element will go to the fifth input of the analysis unit and through the And 36, OR 40 elements to the input of the counter of unsuccessful tests. In the absence of a control signal generated by the ICS, the trigger will be in the zero state and the signal from the output of the timer 18 through the And 17 element will go to the fifth input of the analysis unit and through the And 35, OR 41 elements to the input of the successful test counter. Further, the operation of the device will be continued in a similar manner. After processing the last non-critical absorption sequence at the control output of the unit for generating and issuing non-critical absorption sequences 2, a signal appears that sets the trigger 15 to zero and signals the end of the test process.

Таким образом, предложенный способ формирования специального множества представительных последовательностей входных сигналов для испытаний ИУС позволяет значительно сократить объем испытаний ИУС и гарантирует проверку ИУС так же, как и полная совокупность последовательностей входных сигналов.Thus, the proposed method for the formation of a special set of representative sequences of input signals for ICS testing can significantly reduce the scope of ICS testing and guarantees verification of the ICM as well as the complete set of input signal sequences.

Предложенное устройство для проверки логики работы информационно-управляющих систем позволяет автоматизировать процесс испытаний ИУС.The proposed device for checking the logic of the information management systems allows you to automate the testing process of ICS.

Учитывая необходимость испытаний ИУС после каждой доработки, после каждой смены версии программного обеспечения, изменения входных условий и сигналов, способ и предложенное устройство для проверки логики работы информационно-управляющих систем имеют весьма значительную ценность.Given the need for testing the IMS after each revision, after each change of the software version, changes in the input conditions and signals, the method and the proposed device for checking the logic of the information-control systems are very significant.

Claims

1. A method for checking the logic of operation of information management systems, based on the formation of diagnostic tests by combining input test signals with combinations of signal parameters and input signal sequences, characterized in that a set of critical combinations of input signals is formed, which includes all critical combinations of input signals corresponding to the conditions of the logical function that the test IMS must implement, and a set of absorbing non-critical values is formed input signals by forming combinations of M along K (M is the number of variables of the logical function Ai (i = 1, 2, ..., Ν) that are part of the product, K is the size of absorbing non-critical combinations, K is determined from the relation: K = Σ ( k _j -1), where k is the number of variables in the jth logical condition (j = 1, J), J is the number of logical conditions), and eliminating combinations containing critical combinations of input signals, the resulting set of critical combinations of input signals is sequentially fed at the input of the test ICS and the formation and evremennost generating control commands at receipt of the last input in a sequence critical combination of input signals, and then sequentially applied to the input of the test set of MIS formed absorbent noncritical combinations of input signals and is controlled by commands generated absence or unjustified forming control commands.

2. A device for checking the logic of the ICS during its testing, implementing the method according to claim 1, containing N software-hardware simulators of input signals (N is the number of input signals), and the outputs of the software-hardware simulators are connected to the corresponding inputs of the test ICS, different the fact that a unit for generating and issuing critical sequences, a unit for generating and issuing non-critical absorbing sequences, a unit for analyzing test results, a clock generator, a group of IL elements are introduced into the device And, a group of triggers, a first group of elements, a second group of AND elements, a group of delay elements, the first, second and third elements OR, a delay element, the first and second mode triggers, the first and second AND elements, a timer, the first information outputs of the formation unit and the issuance of critical sequences is connected to the inputs of the group of the corresponding OR elements and the information inputs of the analysis unit of the test results, and the control output with the input of the third OR element, with the input of the installation of the first trigger mode and the input of the third OR element, the output of which is connected to the control input of the unit for generating and issuing non-critical absorbing sequences, the second information outputs of the unit for generating and issuing critical sequences is connected to the information inputs of the unit for generating and issuing non-critical absorbing sequences, and the control output of the forming and issuing unit non-critical absorption sequences connected to the input of the installation of the second trigger mode in a single state, and inf The rotational outputs of the unit for generating and issuing noncritical absorbing sequences are connected to the second inputs of the group of corresponding OR elements, the outputs of which are connected to the unit inputs of the corresponding trigger group, the zero outputs of which are connected to the first inputs of the first group of AND elements, and the unit outputs are connected to the first inputs the second group of elements And, the output of the clock generator is connected to the second input of the unit for analysis of test results and to the second inputs of the first elements the first and second groups, the output of the i-th (i = 1, 2, ..., Ν -1) element And the first group is connected to the second inputs of (i + 1) -x elements And the first and second groups, the outputs of the elements And the second group are connected with the inputs of the corresponding PAI input signals and the inputs of the group of corresponding delay elements, the outputs of which are connected to the zero inputs of the group of corresponding triggers, the output of the test ICS is connected to the third input of the test results analysis unit, the output of the Nth element And the first group is connected to the fourth input analysis unit The test results, the timer input and the stop input of the clock generator, the timer output connected to the first inputs of the first and second element AND, to the second inputs of which the zero output of the second trigger of the mode is connected, and to the third inputs the single and zero outputs of the first trigger of the mode, the output of the first element And connected to the fifth input of the test results analysis unit, with the input of the third OR element and the first input of the first OR element, the output of the second AND element is connected to the sixth input of the test results analysis unit and from the first the input of the second OR element, the second input of which is the control input of the device and connected to the input of setting the first and second trigger to zero, and the output is connected to the control input of the unit for generating and issuing critical sequences and the second input of the first OR element, the output of which is connected through the delay element to the start input of the clock generator.

3. The device according to p. 2, characterized in that the unit for generating and issuing critical sequences comprises a dialing and input device and a storage and delivery unit, the outputs of the dialing and input device being connected to the inputs of the storage and delivery unit, the first and second information outputs of which are the first and second outputs of the unit for generating and issuing critical sequences, and the control input and output are the controlling input and output of the unit for generating and issuing critical sequences.

4. The device according to claim 2, characterized in that the unit for generating and issuing absorbing non-critical sequences comprises a combination enumeration device, a comparison unit, a storage and delivery unit, a group of AND elements, an OR element, the outputs of the combination enumeration device being connected to the inputs of the group of corresponding elements And with the information inputs of the comparison unit, the second information inputs, which are inputs of the unit for generating and issuing absorbing non-critical sequences, the first output of the comparison unit is connected to the input of the OR element, the second output of the comparison unit is connected to the second inputs of the group of AND elements and the second input of the OR element, the third input of which is the input for starting combinations, the output is connected to the control input of the device for searching combinations, the outputs of the group of elements AND are connected to the information inputs of the storage unit and issuance, the information outputs of which are the outputs of the block forming and issuing absorbing non-critical sequences, and the control input and output are the control input and output shaping unit and issuing absorbing noncritical sequences.

5. The device according to claim 2, characterized in that the unit for analyzing test results contains a device for determining the number of units in the code, a first counter, a counter of failed tests, a counter of successful tests, the first, second and third triggers, the first, second, third, fourth and the fifth AND element, the first and second OR elements, the first and second delay elements, the first information inputs of the test results analysis unit being connected to the inputs of the device to determine the number of units in the code, the outputs of which are connected to the inputs and setting the first counter to the state corresponding to the number of units in the code, the second input of the test results analysis unit is connected to the subtracting input of the first counter, the output of which is connected to the unit input to the unit state of the second trigger, the fourth input of the results analysis unit is connected to the installation zero state test, the fifth input of the block analysis of the test results is connected to the inputs of the first and second elements And and through the first delay element with the input of the installation to zero state the first trigger, the outputs of which are connected to the inputs of the first and second AND elements, the output of the first AND element is connected to the input of the second OR element, and the output of the second AND element is connected to the input of the first OR element, the outputs of the second trigger are connected to the inputs of the third and fourth AND elements, the output of the third AND element is connected to the input of the first OR element, and the output of the fourth AND element is connected to the input of the second OR element, the third input of the test results analysis unit is connected to the inputs of the installation of the first and third trigger in unit the second state and the inputs of the third and fourth elements AND, the sixth input of the analysis unit of the test results is connected to the input of the fifth element And, to the second input of which the zero output of the third trigger is connected, the output of the fifth element And is connected to the input of the first OR element and through the second delay element with the input setting the third trigger to zero, the output of the first OR element is connected to the input of the counter of unsuccessful tests, and the output of the second OR element is connected to the input of the counter of successful tests.