Imagix 4D ユーザガイド
目次

[フローチェック] レポート

[フローチェック] レポートは、プログラム動作の本質に対する理解をもたらし、ソフトウェアに存在する潜在的な問題を特定する、一連のレポート機能です。さまざまなレベルでプログラムの制御フローを追跡する静的解析や、これらの実行パスにおけるデータの処理方法を追跡することで、この機能を実現しています。あらゆる変数や処理可能な実行パスをすべて調べる、プログラム全体を対象としたこのような静的解析の処理を、グローバル・データフロー解析と呼びます。

レポートの最初のグループである [変数フローチェック] は、変数の使用に関する問題に焦点を当てています。このレポートでは、変数の値に影響を及ぼす計算を表示し、設定されたり読み取られたりしない変数や、初期化される前に読み取られる変数などの問題を特定します。

[タスクフローチェック] は、マルチスレッド・ソフトウェアにおけるマルチタスクの動作に重点を置いています。具体的には、データの共有やタスク間の共有データの流れ方を解析するのです。[タスクフローチェック] オプションは、データアクセス、並行処理制御、周期的なデータ更新などで衝突が発生する可能性がある場合に、フラグを立てます。

上級トピック: データフロー解析および各 [フローチェック] レポートの詳細に関する情報は、データフロー解析を参照してください。