検査・テスト支援ツール

静的解析・動的カバレッジ解析ツール

LDRA ツールスイート

LDRA Ltd.

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

特長

  • あらゆるコンパイラ・実行環境に対応
  • 静的解析、テストドライバー生成機能、テスト管理機能の融合
  • システムワイドにソースコードを可視化
  • 動的解析結果をグラフィカルに可視化
  • IEC61508、DO-178B、MISRA、CERTなど、あらゆるスタンダードに対応

ソースコードチェック　[LDRA Testbed®]

  • プログラミングスタンダードチェック
  • 複雑度解析
  • データフロー解析
  • コードビジュアル化と詳細レポート
  • 品質モデル例：MISRA-C:1998/MISRA-C:2004,HIS,CERT C,JSF++AV,HI C++,MISRA-C++:2008,LM Train Control Program,LDRA UML C/C++,DERA C,ISO9000/9001:2000,IEC 61508(SIL 4-1),DO-178B(Levels A,B,C),他

テストカバレッジ解析と視覚化

  • コード内のテストされていない領域を特定
  • ステートメント・ブランチカバレッジ
  • LCSAJテストパスカバレッジ
  • MCDC(DO-178B対応)
  • データフローカバレッジ

ユニットテスト、リグニッションテスト自動化ツール　[TBrun]

  • テストドライバー、ハーネス自動生成
  • ソース変更箇所は自動認識
  • テスト変更必要化箇所を指摘
  • リグニッションテストを最適化
  • テストデータと結果の保持、保守
  • ホストターゲット動作可能
  • あらゆるターゲット環境をサポート
  • テストケースの自動生成

要求仕様とテストトレーサビリティ　[TBreq]

TBreq はLDRA Testbed® と TBrun®（単体テスト機能）に統合されて、要求仕様を開発メンバーに割り振り、要求に対してデザインや、ソースコードをマップし、要求に対するテストケースと、その検証レポートの生成までを支援するユニークな解決策です。 TBreqは、要求管理ツール（Telelogic DOORS®, IBM® Rational® RequisitePro®, Microsoft® Word or Microsoft® Excel）とインターフェイスされ、ソフトウエア開発ライフサイクルを通して、要求に対するトレーサビリティと、そのカバレッジを確かなものにします。

TBreqとLDRAツールにより、要求仕様からテストの仕様や、実行可能なテストケースを生成できるようになります。また、テスト結果の要求仕様に対する評価から、トレーサビリティは自動的に検証されます。

 30年以上の実績をもつLDRA社

静的解析、動的カバレッジ、ユニットテスト自動化ツールを30年に渡って高信頼性マーケットへ提供し続けているLDRA社は、静的解析と動的カバレッジ解析結果を融合することで、ダイナミックフローグラフやLCSAJパスカバレッジなどによるソースコードとテストに対する深い理解を提供します。　また、テストドライバーやハーネスの自動生成をも実現し、テスト開発時間の削減によるコスト削減や、繰返し作業が要求されるリグレッションテストを軽減し、規模の拡大に伴い敬遠されてきたユニットテストを実現可能にします。

＜LDRA社の実績例＞

LCSAJカバレッジ(ユーロファイターのテスト基準や、BS792/ソフトウエアコンポーネントテスト基準などで採用されている)の技術に貢献し、LDRA Testbed は、フルLCSAJカバレッジ解析をサポートしています。また、コード構成の分析に使用されるノット解析にも功績を残しています。また、PETプロジェクトでも証明されたデータフロー解析の世界的権威でも有ります。欧州委員会により設立されたPETプロジェクトは、出荷後のコードであっても、静的解析、動的解析で相当多くのバグが発見される事を証明し、またツールとそのトレーニングによりコストを削減できる事を証明しています。　データフロー解析の実績と経験から、インフォメーションフロー解析（プログラム変数の相互依存性、英国防衛基準 00-55）も創出しました。DO178B認証に始めて利用されたのは、LDRA TestbedRで、航空機、地上システムの両方で、要求される構造化カバレッジ、データカップリング、ユニットテストをフルにサポートしています。MISRA (Motor Industry Software Reliability Association) 委員会の主要メンバーでもあるLDRAは、MISRA-C:1998、MISRA-C:2004 を満足する静的ルールチェック、複雑度メトリクス、動的解析、データフロー解析全てを統合しサポートできる唯一のメーカです。このように先進の業界標準の開発と実施に長年関わり、ツールとテストソリューションを世界規模の機関とプロジェクトに提供してきました。Joint Strike Fighter （最大規模の防衛プロジェクト）による実績はこの中でも最新の一つです。　その他、現在使用されている航空・防衛システムは、Eurofighter Typoon, Nimrod 2000, Eurojet, C-17 Globemaster, F/A-22 Raptor, C-5 Galaxy, Airbus A340/A380, BOEING787 DREAM LINER　などです。

 

 

 


このページのトップへ

組込み記事