Ministerul Educaţiei, Culturii și Cercetării al Republicii

Moldova
Universitatea Tehnică a Moldovei
Departamentul Informatică și Ingineria Sistemelor
Disciplina: Testarea sistemelor

RAPORT
Lucrarea de laborator nr. 2
Tema: Generarea testelor prin metoda activării unei căi

A efectuat:
st. gr. CR-191

A verificat:
l. univ. Cărbune V.

Chişinău - 2021
 Varinata nr. 8
Scopul lucrării: Însuşirea deprinderilor practice de generare a testelor pentru circuite logice
combinaţionale arbitrare prin metoda activării unei căi şi verificarea corectitudinii lor
utilizând mijloacele de simulare şi verificare ale sistemului de proiectare digitală Logic
Works.
1.Să se efectueze minimizarea funcţiei logice conform variantei din tabelul 2.4 (la
indicaţia profesorului) şi să se transcrie expresia minimizată pentru a realiza un circuit
arbitrar.

X1X2X3
X4X5 000 001 011 010 110 111 101 100
00
01 1 1 1 1
11 1 1 1
10 1

F = nX1X2X3X4 + X1nX4X5 + X1nX3X5 = nX1X2X3X4 + (X1X5)(nX3+nX4)=(X3X4)

(nX1X2) + n(X3X4)(X1X5)
.