Область применения точных методов построения тестов
Среди большого количества этих методов наиболее широкую известность и распространение получили четыре:
метод активизации одномерного пути;
О-алгоритм Рота;
метод эквивалентной нормальной формы (ЭНФ); метод булевых разностей.
Особенностью всех этих методов является то, что для их применения диагностируемое устройство должно быть представлено логической сетью. Логическая сеть служит структурной моделью дискретного устройства и задается перечислениям входов, выходов, элементов устройства, а также связей между ними. Элементом является конструктивно и функционально законченная часть дискретного устройства, не подлежащая дальнейшему расщеплению.
Метод активизации одномерного нуги и О- алгоритм Рота, а также сравнительные оценки этих методов. Метод ЭНФ и метод булевых разностей рассмотрены и в соответственно.
Область применения точных методов построения тестов последовательных схем ограничивается очень простыми последовательными схемами и практически не позволяет решать задачи контроля и диагностически реальных устройств. Поэтому при построении тестов для последовательных схем используются приближенные методы, в том числе:
метод активизации путей для устройств с памятью;
«лучший следующий» или «возврат к хорошему»;
комбинаторный метод.
При этом вполне понятно, что использование приближенных методов не может в полной мере обеспечить получение оптимальных тестовых последовательностей.
Tags: компьютер