Рассматривается проблема построения проверяющих тестов для "перекрестных" неисправностей типа задержка, характерных для глубокого субмикронного проектирования элементной базы современных компьютерных систем. При решении этой задачи используется многозначное логическое моделирование и генетический алгоритм генерации проверяющих тестов для этих неисправностей. Показано, что применение генетических алгоритмов в сочетании с логическим моделированием в многозначном алфавите позволяет эффективно решать задачу построения тестов для неисправностей индуцированных задержек. Ключевые слова: перекрестные неисправности, многозначный алфавит, проверяющие тесты, генетический алгоритм.
