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

Č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.