Fairchild Controls 社 自動生成コードの検証効率を改善
ボーイング社 ７６７ の空中給油システムの開発、及びDO-178B の認証取得を目的にLDRAツールスイートの静的解析、動的解析機能を採用。MathWorks社 Real-Time Workshop にて自動生成されるコードの検証に活用して開発効率を1000％改善！
Fairchild Controls 社はエアバスなど含む欧州航空宇宙・防衛最大手のEADS社のグループ企業です。
”LDRAツールスイートは弊社の開発プロセスや手法にとって極めて重要。開発早期段階にエラーを検出し、開発コストを削減して生産性を向上させることができている”
”弊社では将来に向けてツールによって完全に支援される開発プロセスに取り組んできた。そして LDRAツールスイートの導入によりプロセスを自動化し、開発効率を1000％改善できた” Dr Haik Biglari, Chief Design Engineer Fairchild Controls 社
LDRA ツールスイートの特徴
フローグラフとカバレッジ結果
・あらゆるコンパイラ・実行環境に対応
・静的解析、テストドライバー生成機能、テスト管理機能の融合
*システムワイドな静的解析から、テストハーネス、スタブなどを自動生成/ 単体テストのための、コード分析作業を軽減
*テストと実行結果は管理され、派生開発などコード変更によるインパクトを自動解析して、テストの再利用を支援
・システムワイドにソースコードを可視化
*既存コードを解析し、変更によるインパクトを理解するための情報を、グラフやテーブルを用いて可視化
・動的解析結果をグラフィカルに可視化
*フローグラフ・コールグラフ上に、カバレッジ結果をグラフィカルに表示
*MCDCカバレッジのコンディションテーブル表示
・IEC61508、DO-178B、MISRA、CERTなど、あらゆるスタンダードに対応
*デザインレビューや、要件に対するトレーサビリティなど、開発プロセスの全フェーズのテスト・検証作業の自動化を支援
*成果物はエビデンスとして認証機関に提出できるフォーマットに
LDRAの製品情報はこちら
HOME
前のページへ