静的解析　単体テスト　IEC61508, ISO26262, DO-178B 国際スタンダード準拠を支援

IEC61508,ISO26262,DO-178B に対応

画像クリックで、LDRA社日本語サイトへ "ソフトウエア開発者の９０％が単体テスト（ユニットテスト）を活用していない" と報告されています。レガシーコードが多くなり、システムが大規模になるに従い、動的なテストをするための解析が殆ど不可能になっている。　その上、リグレッションテストに対する管理は簡単に出来るものではありません。　しかし、そのような理由でシステムの品質をないがしろにする訳にもいかないですね。

LDRA ツールスイートの特徴

フローグラフとカバレッジ結果
・あらゆるコンパイラ・実行環境に対応（ホスト実行～ターゲット）

・静的・動的解析、単体テスト、テストケース & ドライバー生成、テスト管理機能の融合

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

・形式手法（フォーマルメソッド）の活用

・システムワイドにソースコードを静的解析、可視化

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

・動的解析結果をグラフィカルに可視化

　　- フローグラフ・コールグラフ上に、カバレッジ結果をグラフィカルに表示

　　- MCDCカバレッジのコンディションテーブル表示

・要件トレーサビリティ

　要件管理ツールやWord・Excel・PDF などのドキュメントをインポートし、各要件に領域を割り当て、ソースコードをマッピング。その上で様々なテストを実行することで、要件～テストのトレーサビリティを自動取得して、管理し、エビデンスを残すことが容易になります。また要件カバレッジや影響解析を行い包括的なレポートを出力します。

・IEC61508、ISO26262、DO-178B、MISRA、CERT などあらゆるスタンダードに対応

　開発ライフサイクルの検証作業を一貫してサポートし、テスト結果の要件に対するトレーサビリティ取得を自動化。35年以上に渡ってあらゆるスタンダード認証に最も実績があるテストツールであり、テスト賢者のノウハウが組込まれたツール。

LDRA テストツールスイートのリーフレット

TBreq 要件トレーサビリティ機能リーフレット

ターゲットで カバレッジ測定
LDRA テストスイートは、あらゆるコンパイラ、ターゲット、シミュレータなどの環境で、静的解析、単体テスト、カバレッジ解析を容易にサポートできる仕組みになっています。弊社富士設備では、国内のお客様の様々なターゲット環境に対する設定支援とサポートを行っています。　

MCDC カバレッジ テストケースプランナー　
　＜動的テスト カバレッジ＞　ステートメントカバレッジ、ブランチ/デシジョンカバレッジ、LCSAJカバレッジ、関数/関数コールカバレッジ、ブランチコンディションカバレッジ、ブランチコンディションコンビネーションカバレッジ、モディファイドコンディション/デシジョンカバレッジ (MCDC)

ロータバッハ社デバッガで単体テスト実行＋MCDCカバレッジ測定
ルネサスSH2 ターゲット 動的テスト カバレッジ解析 デモ資料
Windows Embedded CE　"ターゲット上での動的テスト カバレッジ解析 "資料
LDRA ツールスイートLauterbach 社デバッガに統合

ソフトウエアのコーディング規約のデファクトスタンダードとなった MISRA のC++バージョン（MISRA C++:2008) が英国で発表されると同時にサポートを開始しました。

MISRA C++:2008 は、MISRA のＣバージョン同様、既存のC++ガイドラインを結集したこと。セーフティクリティカルなシステムに適合するように構成されていることなどを特徴としています。

＜対応済み プログラミングスタンダード＞　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コーディング作法ガイド

MISRA C++:2008 ニュースリリース
Chris Tapp 氏によるプログラミングスタンダードセミナー

　要求仕様の管理は、IEC61508、DO-178B、DO-254、EN-50128、CMMIレベル3以上などのスタンダード認証に必要とされ、航空機、鉄道、自動車、医療、通信など幅広い分野でベストプラクティスとなっています。

スタンダード認証を目的にアプリケーションライフサイクルを管理するツール（ALMなど）による要件トレーサビリティが提案されていますが、認証用のエビデンスを作成するなら TBreq のほうが容易です。

　TBreq は、DOORS などの要件管理ツールやWord・Excel・PDF などのドキュメントから各種仕様をインポートし、TBmanager Dashboard から各要件に領域を割り当て、ソースコードをマッピングします。これらの仕組みを介して、Testbed やTBrun でソースコードをテストすることで、要求仕様、デザイン、テスト仕様、構成管理、テストデータやカバレッジなど検証結果を関連付ける作業を効率化し、これらのトレーサビリティを管理し、エビデンスを残すことができるようになります。また、要求のカバレッジや影響解析を行い、ドキュメントの関係を視覚的に表示し、包括的なレポートを出力します。これらトレーサビリティやカバレッジ、影響解析は、プロジェクトのソフトウェアライフサイクル全体に渡って管理されます。

TBreq 詳細ページへ

サンプルを用いた概説書を用意しました。興味頂ける場合は、ご請求頂けると幸いです。


要件トレーサビリティには要求仕様や設計に基づいたテストケースが必要ですが、これを人手に頼っていると多くの工数を費やします。　　

T-VEC　仕様・設計モデルからテストベクタを自動生成

レガシーコードが多くなったり、システムが大規模になるに従い単体テストをするためのコードの解析が殆ど不可能になっている。また、たとえ出来たとしてもリグレッションテストに対する管理は簡単に出来るものではありません。LDRA では、静的解析、カバレッジ解析、テストドライバ生成機能を融合することで、このようなシステムに対するテストの効率を飛躍的に改善することができる手法を提供しています。資料を以下のリンクに用意していますので、ご参考頂けると幸いです。

LDRA テストツール Technical Description 日本語版

F-35 開発 LDRAテストツールを標準ツールとして全面的に採用
　F-35は主にアメリカとイギリスによる共同開発が行われ、ロッキード・マーチン社が製造する、多目的万能戦闘攻撃機。超音速・ステルス性能完備・空軍海軍用など多種軍種向けに改変が可能であり、これまででもっとも高価な軍用機開発生産プロジェクトです。このロッキード・マーチン社とLDRA社によりC++コーディング標準が制定され公開されました。　C++を設計し、最初に実装した Bjarne Stroustrup氏にも監修された 221のルールです。　JSF開発では5000人規模のSW開発者の標準ツールとして、LDRA社の静的解析、単体テスト機能、動的解析機能が採用されています。
"JSFで使用される先端コンピュ－ティング技術では、多くのオンボードソフトウエアはセーフティクリティカルである。それゆえ我々独自の高度な基準に準じて開発されている。この開発には多くの企業が関わっており、各々が高品質で信頼性が高く、かつ統合時の正しさを確かなものにする為に、静的解析と単体テストの両方に一連の基準を規定している。この厳しいあらゆる要求を LDRA 社ツールは満足することを業界の注意深い評価によって得ることができた "(John H. Robb, JSF Vehicle Systems Principal Software Engineer, Lockheed Martin Aeronautics Company)

こちらのLDRA社サイトのDownloadボタンから

静的解析、動的カバレッジ、単体テスト自動化ツールを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　などです。

LDRA 社の日本語製品情報へ

　バグの主原因（36％）は要件に直接関わる、あるいは要件と関わる問題から派生されてくることが確認された。二番目に大きなバグの原因（22％）は、体系的な単体テスト（ユニットテスト）の不足に起因。その理由として組み込み環境下でツールが無いことが取りざたされた。単体テストを支援できるツールは存在するが、それらのカスタマイズが必要。そこで体系的な単体テストを実施するためにカバレッジ測定機能を備えたLDRA Testbed を用いてEPROMエミュレータとシンボリックデバッガを統合し、単体テストの環境を構築した。その単体テストの手法に活用されたのが、静的解析と動的解析。
PETレポート概要

静的解析（C＆C++）は89万円（フローティングライセンス、年間保守費込み）。　２本目以降は３０％以上の本数割引。　例えば保守費を別見積もりにすると、”静的解析（C＆C++） + TBmisra = 88万8千円（フローティングライセンス）”　です。

また新たにノードロックライセンスで、よりお求め安い価格も用意しました。

ライセンスはチームやあらゆる開発環境をまたがって共有してご利用いただけますので無駄がありません。

各種オプション、レンタル価格、1ヶ月無償評価版に興味をいただける場合は、恐れ入りますがお問合せ頂けると幸いです。