Статья посвящена применению в задачах диагностики трех подходов: эвристического, базирующегося на обоснованиях прогнозов результатов работы компонентов устройства, вероятностного, использующего структурную зависимость между компонентами, и комбинированного с применением вероятностного метода и эвристики проверки работоспособности компонентов. Привлекаются возможности систем поддержки истинности, основанные на предположениях (так называемые АТ-М5- истемы), что позволяет поддерживать непротиворечивость в базах данных. Проведено тестирование методов выбора точки очередного измерения для 9-битового устройства определения четности. Результаты тестирования подтвердили эффективность выбора мест снятия показаний у методов, использующих вероятностный и комбинированный подходы
展开▼