T-VEC Tester for Simulink

T-VEC Tester for Simulink は、モデル検証、自動テスト生成、実行、結果判定の統合ソリューションを提供します。モデル階層の全てのパスを検証し、パスの境界を実行するテストベクタを生成します。テスト抽出プロセスはロジカル、インテジャー、フローティング領域での決定と計算の両方のエラーを明らかにすることで、ユニット、インテグレーション、システムレベルのテストベクタを最も効果的にします。届かないパスやその他のモデルエラーは関連するSimulinkモデルにハイパーリンクで表示します。テストシーケンスベクタは、ダイナミックシステムのレスポンスを検証するためにマルチサンプル時間テストをサポートします。

T-VEC Tester for Simulinkは、Simulinkで組み込みアプリケーションを開発し検証する技術者に利用されています。Simulink Coder で生成された Simulink モデルのコンパイルされたコードを検証し、モデルの欠陥を特定し包括的なテストを体系的に生成します。テストドライバは Simulink Coder で生成されたCソースコードか、MATLAB 内でのシミュレーション実行に自動生成されます。検証設計から結果解析まで全て自動で実行します。DO-178 ガイドラインに基づいたセーフティクリティカルなアプリケーションのソフトウェア認証のための承認資料が用意されています。