コマンド:設定 関数 :コマンドはダイアログを開きます 設定静的分析 。 電話 :メニュー 作成→静的分析 要件 : その包み CODESYS Static Analysis がインストールされています。 プロジェクトが開いています このセクションの内容 :
コマンド: 標準メトリクスを計算してエクスポートする 機能: エディターにメトリック テーブルを表示せずに、標準メトリックを直接計算してエクスポートします。標準のファイルダイアログでCSVエクスポートファイルの適切な名前を指定します。 呼び出し: このコマンドは、デフォルトではどのメニューでも使用できません。 あるいは、 標準メトリクスを表示する コマンドを使用してエディターにメトリクスを表示しま
コマンド:クローンを検索 関数 :コマンドは、オープンのプログラムコードを検索します CODESYS -コピーされたコードのプロジェクトとビューを開きます 検索結果のクローンを作成する 見つかったクローンコードブロックを表示します。特定のサイズより大きいコードのブロックのみがクローンと見なされます。非常に小さなコードはクローンとして表示されません。 この点にも注意してください 抽出機能 と指示 コ
対話 静的コード分析を構成するためのダイアログは、次の場所にあります。 ビルド→静的分析→設定 。前提条件として、 CODESYS -プロジェクトはオープンです。 このセクションの内容 :
ダイアログ:設定静的解析:設定 関数 :ダイアログで自動をアクティブにします 静的コード分析 静的コード分析用のプロジェクト設定をCSAファイルとして保存またはロードします。 ボタン 構成ダイアログを開く の プロジェクト→プロジェクト設定 、 カテゴリー 静的コード分析 メニュー ビルド→静的分析→設定 要件 : その包み CODESYS Static Analysis インストールされています
SA0001:到達不能コード たとえば、次のような理由で実行されないコード行を検出します。 RETURN または CONTINUE 声明 理由:到達不能コードはどのような場合でも避ける必要があります。多くの場合、 テスト 再度削除する必要のあるテストコードがまだ含まれていることを示します。 重要性:高い PLCopenルール:CP2 例 14 . 例 PROGRAM PLC_PRG VAR xRe
SA0002:空のオブジェクト コードを含まないPOU、GVL、データ型宣言、またはインターフェイスを検出します。 理由:空のオブジェクトは避ける必要があります。多くの場合、オブジェクトが完全に実装されていないことを示しています。例外:場合によっては、関数ブロックがインターフェースを介してのみ使用される場合、関数ブロックの本体にコードが与えられません。それ以外の場合、メソッドはインターフェイスに必
SA0003:空のステートメント セミコロンを含むコード行を検索します ; 、ただし、説明は含まれていません。 理論的根拠:空のステートメントは、欠落しているコードを示している可能性があります。 注: 空のステートメントを使用するのには十分な理由があります。たとえば、 CASE このステートメントでは、何もすることがない場合も含め、すべてのケースを明示的にプログラムすることが合理的です。こういう空
SA0006:複数のタスクからの書き込みアクセス 複数のタスクによって書き込まれる変数を決定します。 理由:いくつかのタスクで記述された変数は、その値を予期せず変更する可能性があります。これは混乱を招く状況につながる可能性があります。文字列変数および一部の32ビットシステムでは、変数が2つのタスクで同時に書き込まれる場合、64ビット整数変数も一貫性のないステータスになる可能性があります。 例外:場