18日 15:00〜15:45 キャッツ株式会社

MBD検証工程への提案 〜カバレッジ以外の有効なテストシナリオと結果妥当性〜

ZIPC Automotive Packageは、MBD検証を効率化するツール群です。Stateflowの静的検証支援機能、Simulinkのテストを効率化するテスト設計支援機能をご紹介します。