随着多处理器网络系统规模的不断提高,系统可靠性的要求越来越高,用于保证系统可靠性的故障诊断进而也越来越重要。系统级故障诊断因其能在无需借助外力的情况下仅凭系统自身的处理能力寻找出故障处理器,从而得到了广泛的关注与研究。在以往的系统级故障诊断研究中,关于MM(Maeng/Malek model)模型下t/t-可诊断的成果十分稀少。针对该问题,通过对MM模型下t/t-可诊断与相容故障集(AFS)关系的证明研究,得出了该问题的刻画定理。在该刻画定理的基础上,使用将MM模型转化为PMC(Preparata/Metze/Chien model)模型的方法,得到了MM模型下t/t-可诊断算法MMFDA,算法的时间复杂度为O(n3)。另外,传统的系统级故障诊断研究大多从系统整体角度出发,忽略了系统局部特征。PMC模型下,针对于这一问题,首先引入了节点可诊断的概念,并通过对节点可诊断的研究得到了节点可诊断度的充分条件。然后,借助于该充分条件构建了ST结构,利用ST结构得到了系统的t-可诊断算法STFDA,并证明算法的时间复杂度为O(nnδ)。相比于已有算法,STFDA算法时间复杂度得到显著降低。为了验证所得充分条件的正确性,对n维超立方网络和n维星状网络从节点可诊断的角度进行了分析,并将算法应用到了这两种网络中进行故障诊断。