ГОСТ Р 57421—2017
6.3.8 Формированиетеста
Завершение работ по автоматизированному созданию тестов осуществляется в автоматическом
режимепутем проведения моделированияфункционированияОД. осуществляемогосредствами САПР
тестов. При этом на вход модели (входные контакты краевых разъемов ОД) подаются ранеесформиро
ванные входные воздействия X (см.формулу 1), а с выходов модели (выходных контактов краевых
разъемов ОД) снимаются реакции ОД У (см.формулу 2). которые принимаются за эталонные Z (см.
формулу 3).
Совокупность входных воздействий X и соответствующих им эталонных откликов Z образует тест
(X. Z). который записывается в базуданных.
6.3.9 Предварительная оценка качества теста
Для принятия решения о возможности использования теста (X. Z) на реальном ОД необходимо
провести оценку его качества, котораяопределяется с помощью формулы:
К =
N
<«>
где N — число цепей в ОД;
1Яй1Ы— число цепей изМцепей, вкоторыхпроизошлохотябыодноизменение значений логических сиг
наловили «1»-+ «О».
По результатам этого анализа принимается решение о возможности использования теста на
реальном ОД илио необходимостидоработки теста — итерационное выполнение6.3.7—6.3.9.
7