静的解析、テスト カバレッジ、リグレッションテストなど
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%にも及ぶプロジェクトの失敗は、要件管理とそのトレーサビリティに起因すると報告されており、ソフトウエア開発ライフサイクルに渡って要件管理をすることは、コスト削減策の決定打となる。要件管理をテスト自動化ソリューションに統合する仕組みをとることで、要件、コードモジュール、検証成果物(静的解析、動的テスト結果とカバレッジ、単体テスト、システムレベルテストなど)の完全な自動化トレーサビリティが取れる。また全ての非公式な変更やテスト結果も記録され、それら変更による影響を受ける要件はハイライトされることで、全開発チームメンバーは追加検証が必要となるコード・データ領域を特定することができる。
Simulink 統合
Simulinkの設定画面からLDRAを選択してシミュレーション実行。結果のカバレッジ表示。コールグラフ・フローグラフから未実行パスを特定し、TBRunから追加の単体テストを実行。加えてコードからテストケースの自動生成・実行ができることも紹介。
ターゲットで カバレッジ測定
ロータバッハ社デバッガで単体テスト実行+MCDCカバレッジ測定
LDRA テストスイートは、あらゆるコンパイラ、ターゲット、シミュレータなどの環境で、静的解析、単体テスト、カバレッジ解析を容易にサポートできる仕組みになっています。弊社富士設備では、国内のお客様の様々なターゲット環境に対する設定支援とサポートを行っています。
派生開発のテストを支援:システムテスト実行+カバレッジ測定+単体テスト+テストケース自動生成
テストツールはフォーマルな開発プロセスに沿って手順どおりに活用されるのが理想的であるが、商用製品の開発ではレガシーなSOUP(Software of Unknown Pedigree)コードを基に派生・差分開発されるのが現実。そのような状況でもテストツールを実践的に用いれば、レガシーなSOUPコードを目的に適った信頼できるソースコードとして効果的に活用できる。 派生開発を支援するテストツールの活用法について

HOME
前のページへ