通过研究零值分析的基本原理与故障灵敏度分析的本质，提出了针对现有并发错误检测机制安全性的通用评估模型。为减小攻击分析的复杂度，提出了一套完整的区分模型选取准则。为验证提出的故障灵敏度零值分析方法的高效性，构建了故障灵敏度分析平台，并对提出的攻击方法进行验证分析。实验结果表明，提出的零值分析方法具有计算复杂度低、准确性高、实现简单的优点。