Cookie Warning

This site uses cookies to help improve your experience

Please follow the link to find out more about cookies. Learn more

I understand
 

Data Flow & Control Flow Analysis

今日の複雑化したシステムでは人手による評価作業(ピアレビュー)には多くの時間とコストがかかります。潜在的な問題箇所を浮かび上がらせて修正するため、またソフトウエア品質の尺度(メトリクス)を作るために、抽象度のレベルを上げてアーキテクチャーと挙動、コントロールフロー、データフローを素早く見抜くことが必要になります。もし航空機業界におけるDO-178Cの最新版のような、厳密なスタンダードに準拠するための開発をしているなら、ソフトウエアスタンダード認証のために、データフローおよびコントロールフローカップリングの解析が必要になるかも知れません。

これをやりとげるために、時間のかかる人手による評価作業にどれだけの開発期間とリソースを充てる余裕があるでしょうか?

LDRA社のデータフロー/コントロールフロー自動解析ツール

LDRAはコールグラフとフローグラフといったグラフィカルなコード可視化ツールや、データフロー解析レポートにより、プログラムを詳細に見通すことを可能にします。これらは他のソフトウエア開発ツール環境にはない、ソフトウエアデバッグとテスト環境の強力なコンポーネントです。簡単に使えるこれらのツールさえあれば、ロジックの誤りや競合状態などのボトルネックをより早くより簡単に特定することができるでしょう。

  • LDRA TestbedとTBvision はホストと組み込みの両方に使えるグラフィカルな静的および動的解析ツール
  • Dynamic Data Flow Coverage (DDFC) はアプリケーション実行時にどの変数が使用されたか正確に検査するオプションモジュール