万博1manbetx^®Coverage™は，条件生成し解析，条件，改良条件カバレッジ（MCDC）などなど业主标准，モデルと，条件カバレッジメトリクス，モデルとの性をしのテストのをたたコードのテストの完全性カバレッジししのししししししのししししししししししししししししししししししししししししカバレッジカバレッジカバレッジしししカバレッジカバレッジs性を评価する关键词演算子境界カバレッジ，ソフトウェアインザループを见つけることができます。

万博1manbetxSimulink覆盖范围はは，C / C ++ S函数，MATLAB^®关节，および嵌入式编码器^®により生成されたコードどの程度実さたかを示す対话型レポートを生成ししをブロックサブシステムのカバレッジカバレッジ结果を表示ししししししししできできできできできできできできできできできできますますますますますますますできできできできますできますますますますますますますますますますますますますできできますますますます完全ますますますますますますますます完全完全完全性性性ますために，复数回テストを行しカバレッジデータを蓄积し，ユニットテストとシステムで达达成したカバレッジカバレッジをできますたどるますとテストたどるますます。をカバレッジから除外したり，レポートの未达カバレッジを正当化したりできます。

业主标准には，做资格套件とIEC认证套件によって対応しています。