题目 PMS-BDD），通过求解PMS-BDD得到PMS的可靠度。目前，以PMS-BDD为基础的静态PMS研究主要集中在解决不完全错误覆盖（Imperfect Fault-Coverage，IPC）、阶段组合需求（Combinatorial Phase Requirement，CPR）、多模式失效
基于4个网页-相关网页
不完全错误覆盖
Incomplete error coverage
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动