介绍了Nelson模型及修改的条件/判定覆盖的基本概念,提出用Nelson模型来估计软件模块可靠性,依据修改的条件/判定覆盖划分数据输入域。最终依据模块可靠性算出系统可靠性。