Simulink モデル自動生成コードの検証支援 (LDRA)

LDRA　Testbed/TBrun/TBreq

テスト自動化ツール　静的解析、動的カバレッジ、テストドライバー生成、テストの資産化、リグレッションテスト、要求～テストに至るトレーサビリティ

更新日 2012-02-13 | 作成日 2007-12-01

Simulink モデル自動生成コードの検証支援

LDRA と MathWorks は、Simulink に LDRA ツールスイートを統合し、モデルから自動生成されるコードのインデペンデントな検証を支援。双方向のトレーサビリティによって、要件からテストに至るカバレッジを確実にできる。

LinkIcon Simulink 統合動画デモ（音声付）： Simulinkの設定画面からLDRAを選択してシミュレーション実行。結果のカバレッジ表示。コールグラフ・フローグラフから未実行パスを特定し、TBRunから追加の単体テストを実行。加えてコードからテストケースの自動生成・実行ができることも紹介。