Аннотация:
В статье предлагается классификация алгоритмов поиска, используемых в задачах локализации неисправностей в сложных вычислительных системах. Полезность такой классификации состоит в том, что она позволяет при разработке процедур обслуживания соответствующей системы выбирать алгоритм поиска, оптимальный (в смысле минимизации некоторой функции стоимости) для данной системы и характеристик ее обслуживания. Данная классификация строится аналогично классификации Кенделла в теории очередей. Основой для классификации является предложенная в предыдущих работах авторов характеризация концептуальной модели систем тестирования и локализации неисправностей, и ряд теорем об оптимальности алгоритмов поиска.