Iyad K. Evolutionary methods of test generation for non- constant faults

Object of study - the process of building inspection tests for testing of digital logic circuits. Purpose - to improve the efficiency of automatic diagnosis of digital systems through the development of evolutionary methods for generating tests for cross- checking problems. Methods: theory of Boolean functions , finite automata, technical diagnostics, evolutionary computation and logic simulation . Used equipment - computers . Scientific novelty lies in the fact that in the modified model of multi-valued logic elements , thus improving the adequacy and performance of logic simulation of crosstalk faults. Also improved genetic algorithm for constructing test sequences induced pulses , which allows to increase the efficiency of test generation for crosstalk faults. Degree of implementation : the developed methods and software used at the Institute of Applied Mathematics and Mechanics of NAS of Ukraine as a module system modeling and diagnostics ASMID . The branch of using - аutomation of design and dyahnostyrovanyya эlementnoy bazы of computer systems.