アドオンModel Block Test

Model Block Test は、BTC EmbeddedPlatform のサポートする各種テストを強化するためのアドオンです。MC/DC に限らないユーザ独自のモデルカバレッジの定義、テストにより発生させた不正な値を観測可能なブロックまで確実に伝搬させる伝搬経路(可視性)の確保、これらを考慮したモデルからのテストケース自動生成を行います。

Beyond MC/DC Coverage Testing

         (Hans J. Holberg, Dr.-Ing Stefan Häusler)