国際スタンダード認証に最も実績のあるLDRA社テストツールは、ソフトウエア開発ライフサイクルの全般にわたって検証作業の自動化を支援します。航空・防衛システムを中心に、40年以上の実績を通じて、最高峰の検証ツールとして他に類を見ない進化を続けています。

要件トレーサビリティ管理

セーフティクリティカル、あるいはセキュリティクリティカルなアプリケーションの国際スタンダード認証には、開発ライフサイクル全体にわたる計画的な作業と、それを証明する文書や成果物が監査の対象として求められます。その中でもコードレベルの検証は項目も対象も多く、工数全体の50～80％を占めることに加えて、要件トレーサビリティの取得と管理が一層複雑になり、開発者の大きな負担となっています。

LDRA 社の TBmanager はトレーサビリティに、包括的でロールベースのアプローチを提供します。要件と検証のタスクをチームメンバーに役割分担して、それらの成果物を結集することで、ソフトウエア開発ライフサイクル全般にわたって、双方向の要件トレーサビリティの取得と管理を支援し、要件、設計、あるいはソースコードの変更に伴う検証・追跡作業が容易になります。たとえ厳格なスタンダードに準拠する必要がない場合でも、この機能はコード品質とアプリケーションの総合的な安全性、セキュリティの向上、効率の改善に役立てられます。

高信頼性・安全性システムのテストツールに４０年以上の実績

静的解析、動的カバレッジ、単体テスト自動化ツールを４０年に渡って高信頼性マーケットへ提供し続けているLDRA社は、静的解析と動的カバレッジ解析結果を融合することで、ダイナミックフローグラフやLCSAJパスカバレッジなどによるソースコードとテストに対する深い理解を提供します。　また単体テスト支援機能として、テストドライバーやハーネスの自動生成をも実現し、テスト開発工数とコストの削減や、繰返し作業が要求されるリグレッションテストを軽減し、規模の拡大に伴い敬遠されてきた単体テストを支援します。
 
＜LDRA社の実績例＞LCSAJカバレッジ(ユーロファイターのテスト基準や、BS792/ソフトウエアコンポーネントテスト基準などで採用されている)の技術に貢献し、LDRA Testbed は、フルLCSAJカバレッジ解析をサポートしています。また、コード構成の分析に使用されるノット解析にも功績を残しています。また、PETプロジェクトでも証明されたデータフロー解析の世界的権威でも有ります。欧州委員会により設立されたPETプロジェクトは 、出荷後のコードであっても、静的解析、単体テストで相当多くのバグが発見される事を証明し、またツールとそのトレーニングによりコストを削減できる事を証明しています。　データフロー解析の実績と経験から、インフォメーションフロー解析（プログラム変数の相互依存性、英国防衛基準 00-55）も創出しました。DO178B認証に始めて利用されたのは、LDRA Testbedで、航空機、地上システムの両方で、要求される構造化カバレッジ、データカップリング、単体テストをフルにサポートしています。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　などです。
 
 
またLDRA 社は高信頼性システムのソフトウエア検証ツールの第一人者として、国際スタンダード認証支援実績No1のツールを提供する傍ら、国際スタンダードの制定にも貢献（MISRA 委員会に４名、DO-178C 委員会に６名）しています。またFAA のDER コンサルタントを擁する認証支援サービスも米国で展開しています。
 
 

評価ライセンスなど

詳細なデモンストレーションや、無償評価版を用意しています。ご興味頂ける場合は、 メールでご要求を頂けると幸いです。