機能安全に準拠した複雑なシステムの効率的な開発支援のために（その6）

●SCADEでは、Masking MC/DCに加えてカバレッジ計測に“パス”を考慮します。

“パス”とは、各入力から各判定の出力までの経路のことで、モデルを用いる場合、パスを考えることで、モデル上でカバレッジが取れていない箇所が、より分かりやすくなります。 

SCADEは、DCまたはMC/DCカバレッジ解析において、パス上でマスクされないように、各条件の独立した影響をカバレッジ基準に設定するため、より効率的にカバレッジを計測することができます。 
また、カバレッジが計測できていない場合、なぜカバレッジが計測できていないかを簡単に視認できるツール環境をご提供しており、その原因がテストの不足なのか、意図しない機能なのかを簡単に切り分けることができます。 

さらに、モデルとコードの一致性が保証されているため、モデルレベルでカバレッジを計測していれば、コードレベルでのカバレッジ計測を省略することができます。 

■お問い合わせ先

株式会社 IDAJ 営業部

Webからのお問い合わせ：https://www.idaj.co.jp/inquiry/
E-mail：info@idaj.co.jp
TEL： 045-683-1990