Необходимые и достаточные условия $t$-диагностируемости многопроцессорных вычислительных систем для разных моделей ненадежного тестирования, полученные с помощью теоретико-графовой модели системы

Рассматривается теоретико-графовая модель самодиагностики на системном уровне при множественных устойчивых отказах. Анализируется группа моделей тестирования, основанного на применении полных ненадежных тестов. Для моделей этой группы получены необходимые и достаточные условия $t$-диагностируемости без ремонта. Дан критический разбор результатов, полученных в опубликованных статьях разных авторов. Исправлены замеченные в этих статьях ошибки, относящиеся к доказательству условий $t$-диагностируемости без ремонта.