静的解析、テスト カバレッジ、リグレッションテスト などデモ動画

　LDRAテストツールは、静的解析、カバレッジ解析、テストドライバ生成機能を融合することで、テストはコードと合わせて資産として管理できるようになり、リグレッションテストの効率を飛躍的に改善します。また高性能でありながら、優しい機能で使い易く、価格も優しいと、組込みシステム全般に広く採用され始めています。　
また、あらゆるコンパイラ、ターゲット、シミュレータなどの環境で、静的解析、動的テストとカバレッジ解析を容易にサポートできる仕組みになっています。　

Testbed/プログラミングスタンダードチェック概説　5分46秒

　＜対応済み プログラミングスタンダード＞　
MISRA-C++:2008、MISRA-C:1998/MISRA-C:2004、CERT C、JSF++AV、HIS、HI C++、DERA C、LM Train Control Program、JPL、GJB、LDRA UML C/C++、ISO9000/9001:2000、IPA/SECコーディング作法ガイド

TBvision/欠陥、セキュリティ脆弱性を検出　5分5秒


TBvisionは、LDRAの多岐に渡る解析結果から、セキュリティの脆弱性 /メモリエラー /欠陥検出 /各種品質（可搬性、信頼性、テスト容易性、メンテナンス容易性、複雑度、スタイル）の尺度で、コードの品質をビジュアル化し、直感的に解析。　
静的解析は、”通しているだけ”　では無く、実践的に利用できるようになりました！

Testbed/カバレッジ解析概説　3分46秒

　動的テストのカバレッジは、静的解析により得られる コールグラフ/フローグラフ 上に反映され、カバレッジ されていないデシジョンパスを容易に判別。

Testbed/MCDC カバレッジ　3分56秒

　表形式のテストケースプランナーにより、MCDC カバレッジのテスト生成を視覚的にサポート。

TBrun/ユニットテスト・リグレッション基本編　5分22秒

　ユニットテスト ドライバー/スタブ/ラッパーなどの自動生成。静的解析、カバレッジ解析、テストドライバ生成機能を融合することで、テストはコードと合わせて資産として管理できるようになり、リグレッションテストの効率を飛躍的に改善。
（リグレッションテスト支援機能の詳細に興味いただける場合は、別途資料、デモなどをご用意しています）

TBreq/要件トレーサビリティ・マトリクスとHWテスト　6分46秒

　70％にも及ぶプロジェクトの失敗は、要件管理とそのトレーサビリティに起因すると報告されており、ソフトウエア開発ライフサイクルに渡って要件管理をすることは、コスト削減策の決定打となる。要件管理をテスト自動化ソリューションに統合する仕組みをとることで、要件、コードモジュール、検証成果物（静的解析、動的テスト結果とカバレッジ、ユニット・システムレベルテストなど）の完全な自動化トレーサビリティが取れる。また全ての非公式な変更やテスト結果も記録され、それら変更による影響を受ける要件はハイライトされることで、全開発チームメンバーは追加検証が必要となるコード・データ領域を特定することができる。

LDRA ツールスイートの特徴

フローグラフとカバレッジ結果
・あらゆるコンパイラ・実行環境に対応

・静的解析、テストドライバー生成機能、テスト管理機能の融合
　　*システムワイドな静的解析から、テストハーネス、スタブなどを自動生成/ 単体テストのための、コード分析作業を軽減
　　*テストと実行結果は管理され、派生開発などコード変更によるインパクトを自動解析して、テストの再利用を支援

・システムワイドにソースコードを可視化
　　*既存コードを解析し、変更によるインパクトを理解するための情報を、グラフやテーブルを用いて可視化

・動的解析結果をグラフィカルに可視化
　　*フローグラフ・コールグラフ上に、カバレッジ結果をグラフィカルに表示
　　*MCDCカバレッジのコンディションテーブル表示

・IEC61508、DO-178B、MISRA、CERTなど、あらゆるスタンダードに対応
　　*デザインレビューや、要件に対するトレーサビリティなど、開発プロセスの全フェーズのテスト・検証作業の自動化を支援
　　*成果物はエビデンスとして認証機関に提出できるフォーマットに

LDRAの製品情報はこちら