フロー解析の利点

複数のファイル、関数にまたがる欠陥を自動的に検出できる

単体テストは、基本的には関数単位の欠陥を検出するのに役立つテスト手法です。しかし弱点もあります。関数に対してテストを行なって、発見された問題をすべて修正してからコードを統合しても、その後でメモリ破壊などの問題が起きることがありますが、そのような問題は複数の関数、あるいは複数のファイルを通る複雑でわかりにくいパスで発生するため、原因をつきとめるのに何日もかかる場合があります。

フロー解析を使用すると、このような問題も瞬時に検出できる可能性があります。フロー解析はプログラム中のさまざまな分岐の可能性を調査し、従来のテストでは到達するのが難しいレベルのパス カバレッジを達成します。結果として、テスト中にカバーされないことも多い例外的な状況で起こる問題を検出できるケースもあります。

問題に至る処理フローを瞬時に把握

フロー解析により、問題の可能性が発見された場合は、問題が発生した箇所とそれに至るまでの処理フローがレポートされます。処理フローを確認しながら、処理フローに依存した問題の原因を確認することができます。

テストケースやスタブは、不必要。テスト資産のないソースコードでも検証可能

フロー解析は、静的解析であるため、テスト対象ソフトウェアを実行する必要はありません。
ボタンをクリックするだけで処理フローの自動検証を開始します。複雑なパスを自動でシミュレートしますので、人の目でパスを網羅するのに比べて、人的リソースを削減することができます。
また、テストケースやスタブなどのテスト資産を用意する必要もありません。テスト資産が不要ですので、過去コードを流用した派生開発の場合も、テストケースの更新や再作成をすることなく、すぐにテストを行なうことができます。

フロー解析トレースの詳細を表示

Parasoft DTPと連携することにより、フロー解析トーレースの詳細表示が可能です。フロー解析におけるデータフローのシミュレート結果がより詳しく表示されます。「なぜ条件演算子でtrueと判断されたのか」・「なぜ違反が発生しているか」の理解や、「違反の重要性」の判断が容易となっています。

フロー解析で検出可能なエラー

以下では、フロー解析機能でどのようなエラーを検出できるのか、その一部を具体的にご紹介します。

メモリリーク

メモリリークは、プログラム内で動的に割り当てられたメモリ領域が解放されないまま残ってしまう現象です。長時間実行され続けるプログラムにメモリリークの欠陥があると、時間の経過とともに使用できるメモリ領域が少なくなり、パフォーマンスが悪化したり、動作が不安定になる可能性もあります。
下の図は、C/C++testのフロー解析でメモリリークを検出した結果の例です。

ゼロ除算

ゼロによる除算は例外を発生させ、プログラムの異常終了の原因になる可能性があります。
下の図は、C/C++testのフロー解析でゼロ除算を検出した結果の例です。

未初期化メモリの使用

C言語では、ローカル自動変数の初期値は不定値です。変数を初期化せずに使用すると、プログラムの予期しない動作につながる可能性があります。
下の図は、C/C++testのフロー解析で未初期化メモリの使用を検出した結果の例です。