静的解析、テスト カバレッジ、リグレッションテストなど
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など、あらゆるスタンダードに対応
*デザインレビューや、要件に対するトレーサビリティなど、開発プロセスの全フェーズのテスト・検証作業の自動化を支援
*成果物はエビデンスとして認証機関に提出できるフォーマットに
HOME
前のページへ