Využití pseudotriviálních testů v diagnostice

Utilising pseudo-exhaustive tests in diagnostics

article in a collection out of WoS and Scopus

Czech

Článek diskutuje použití triviálních a pseudotriviálník testů v diagnostice a popisuje návrh a implementaci metody pro hledání diagnostických kuželů v kombinační logické síti. Tato metoda předpokládá na svém vstupu kombinační logickou síť popsanou strukturálně v jazyce VHDL. Metoda byla implementována jako překladač z VHDL zdrojového souboru do C/C++ cílového souboru. Vygenerovaný C/C++ soubor obsahuje jednak funkce pro vytvoření kombinační logické sítě totožné se sítí ve vstupním VHDL souboru a jednak funkci pro nalezení diagnostických kuželů v této kombonační logické síti.

The article discusses exhaustive and pseudo-exhaustive testing in diagnostics and describes the diagnostic cones search method and its implementation, which are the main goals of this research. This method assumes an input combinational logic circuit described structurally in VHDL. The proposed method is implemented as a cross-compiler from VHDL source file to C/C++ target file. The generated C/C++ target file contains functions to be able to create the same combinational logic circuit and to start diagnostic cones search function.

triviální test, pseudotriviální test, diagnostický kužel, VHDL

exhaustive test, pseudo-exhaustive test, diagnostic cone, VHDL

STRNADEL, J.

1. 1. 2000

Akademické nakladatelství CERM sro.

Brno

80-7204-155-X

Sborník prací studentů a doktorandů

249

251

3