PLC靜態(tài)分析-TE1200使用方法

第6頁PLC靜態(tài)分析——TE1200使用方法PLC靜態(tài)分析——TE1200使用方法作者：袁英杰職務(wù)：華東區(qū)技術(shù)支持工程師郵箱：yj.yuan@日期：2024-02-08摘要：介紹TE1200的基本內(nèi)容附件：序號文件名備注歷史版本：免責(zé)聲明：我們已對本文檔描述的內(nèi)容做測試。但是差錯在所難免，無法保證絕對正確并完全滿足您的使用需求。本文檔的內(nèi)容可能隨時更新，如有改動，恕不事先通知，也歡迎您提出改進建議。參考信息：目錄1. 軟件介紹 32. 靜態(tài)分析工具 32.1. 設(shè)置 32.2. 規(guī)則 42.2.1. SA0007-Addressoperatorsonconstants 42.2.2. SA0017-Non-regularassignments 52.2.3. SA0021-Transportingtheaddressofatemporaryvariable 52.2.4. 高重要性 52.3. 命名約定 62.3.1. 占位符{datatype} 72.3.2. 擴展功能 72.4. 指標(biāo) 82.5. 禁止符號 82.6. 注釋 82.7. 運行 93. AutomationInterface 10

軟件介紹TE1200PLCStaticAnalysis提供了PLC靜態(tài)分析工具，幫助編程人員更好的分析PLC代碼。該軟件沒有7天試用版，該軟件默認(rèn)集成在TwinCAT開發(fā)環(huán)境中。當(dāng)沒有TE1200授權(quán)時，該軟件為輕量級分析工具，當(dāng)有TE1200授權(quán)時，該軟件為完整版分析工具。其對比如下：功能輕量級完整版保存/導(dǎo)出以及加載/導(dǎo)入配置不可用可用編譯過程中執(zhí)行不可配置可配置檢查未使用對象不可用可用報錯最大數(shù)500，不可配置可配置報警最大數(shù)不可配置可配置激活選項激活并報錯激活報錯及報警規(guī)則7條規(guī)則超過100條規(guī)則預(yù)編譯波浪下劃線，快速修正不可用可用命名約定不可用可用指標(biāo)不可用可用禁止符號不可用可用暫時停用規(guī)則的Pragma和Attribute可用，3條可用，6條靜態(tài)分析工具設(shè)置勾選自動執(zhí)行靜態(tài)分析后PLC每次編譯后會同時執(zhí)行靜態(tài)分析；加載和保存可以導(dǎo)出或者導(dǎo)入已經(jīng)配置好的靜態(tài)分析規(guī)則；最大報錯和警告意味著當(dāng)靜態(tài)分析返回的信息超過相關(guān)值之后分析將會停止規(guī)則如上圖顯示，深色勾為報告錯誤，淺色勾為報告警告，可以通過單擊圖標(biāo)顯示。除了SA0016、SA0024、SA0073、SA0101、SA0105-SA0107、SA0111-SA0125、SA0133、SA0134、SA0145、SA0147、SA0148、SA0150、SA0162-SA0167和必須要遵守的IEC規(guī)則外，所有規(guī)則都默認(rèn)啟用。針對每個規(guī)則的具體含義，可以參閱infosys/TE1200/Configuration/Rules/Rules-overviewanddescription。本文舉三個例子。SA0007-Addressoperatorsonconstants指向常量變量的指針將取消該變量的constant屬性。變量可以通過指針改變，而編譯器不會報告這一點。在極少數(shù)情況下，將指向常量的指針傳遞給函數(shù)是有意義的。如果使用此選項，則必須確保函數(shù)不會更改傳遞給它的值。在這種情況下，應(yīng)該使用VAR_IN_OUTCONSTANT。SA0017-Non-regularassignments如果指針包含的值不是有效地址，則在處理引用指針時將發(fā)生訪問沖突異常。SA0021-Transportingtheaddressofatemporaryvariable函數(shù)或方法的局部變量是在堆棧上創(chuàng)建的，只有在處理函數(shù)或方法時才存在。如果指針在處理方法或函數(shù)后指向這樣一個變量，那么這個指針可以用來訪問未定義的內(nèi)存或另一個函數(shù)中不正確的變量。這種情況無論如何都要避免。高重要性以下規(guī)則在PLC編程規(guī)則中重要性較高，在不影響邏輯實現(xiàn)的前提下，建議作為報錯規(guī)則使用SA0001SA0004SA0006SA0007SA0015SA0017SA0020SA0021SA0028SA0034SA0040SA0044SA0019SA0047SA0048SA0053SA0054SA0055SA0056SA0059SA0061SA0065SA0072SA0080SA0081SA0095SA0106SA0039SA0046SA0145SA0140SA0150SA0161SA0171命名約定在命名約定選項卡中，可以為變量的不同數(shù)據(jù)類型以及不同的作用域、函數(shù)塊類型和數(shù)據(jù)類型聲明定義強制前綴。可以為其指定約定的所有對象的名稱在項目屬性中顯示為樹形結(jié)構(gòu)。當(dāng)靜態(tài)分析被使用時，會檢查PLC代碼變量、數(shù)據(jù)類型、程序以及函數(shù)的命名前綴是否符合當(dāng)前的命名約定。占位符{datatype}對于別名alias來說，可以在alias（33）中定義{datatype}或者自定義符號_{datatype}，此時命名約定將遵照這個datatype來執(zhí)行，比如，對于string類型的別名，可以如下定義對于method或者property來說，可以使用更加復(fù)雜的命名約定，擴展功能在Namingconventions(2)中有三個擴展功能可以使用第一個功能：啟時用，如果變量名在定義的前綴之后的第一個字符不是大寫字母，則靜態(tài)代碼分析報告變量的錯誤。禁用，則不檢查大寫/小寫拼寫。第二個功能：如果啟用，可組合數(shù)據(jù)類型(POINTER,REFERENCE,ARRAY,SUBRANGE)的變量必須有復(fù)合數(shù)據(jù)類型前綴。組合前綴由為組合數(shù)據(jù)類型的各個組件配置的單個前綴組成。禁用，則只期望最外層數(shù)據(jù)類型的前綴作為數(shù)據(jù)類型前綴。第三個功能：如果啟用，變量必須具有命名約定中定義的名稱空間前綴，然后是其數(shù)據(jù)類型前綴。如果禁用，預(yù)期的總體前綴取決于是否為變量定義了作用域前綴。如果為變量定義了關(guān)聯(lián)的作用域前綴，則該變量必須只有命名約定中定義的其名稱空間的前綴。在作用域前綴之后不需要數(shù)據(jù)類型前綴。如果沒有為變量定義關(guān)聯(lián)的作用域前綴，則該變量必須只有為其定義的數(shù)據(jù)類型前綴。

指標(biāo)對于每個指標(biāo)，可以通過在各自的指標(biāo)行中輸入所需的數(shù)字來定義單獨的上限和下限。如果度量僅在一個方向上受限，則可以將另一個方向的配置保留為空。換句話說，可以只指定下限或上限。具體操作見2.7節(jié)。每個指標(biāo)的意義見infosys/TE1200/Configuration/Metrics/Metrics-Overview禁止符號可以在該選項卡下配置禁用的符號，比如XOR，可以將其禁用。注釋可以使用pragma和各種attribute暫時禁用靜態(tài)分析的個別規(guī)則或命名約定，即從規(guī)則中排除某些代碼行或程序段。編程的實現(xiàn)部分使用pragma{analysis-/+<rulenumber>}，通過指定前面帶減號(“-”)的規(guī)則號來禁用規(guī)則，激活為加號(“+”)。使用逗號分隔在pragma中指定任意數(shù)量的規(guī)則。停用規(guī)則:一條規(guī)則:{analysis-<rulenumber>}若干規(guī)則:{analysis-<rulenumber>，-<rulenumber>，-<rulenumber>}激活規(guī)則:一條規(guī)則:{analysis+<rulenumber>}若干規(guī)則:{analysis+<rulenumber>、+<rulenumber>、+<rulenumber>}運行運行靜態(tài)分析在執(zhí)行靜態(tài)分析期間，檢查是否符合編碼規(guī)則、命名約定和禁用符號。該命令可用于手動觸發(fā)靜態(tài)分析(顯式執(zhí)行)，或者可以在代碼生成期間自動執(zhí)行分析(隱式執(zhí)行)。TwinCAT在消息窗口中發(fā)布靜態(tài)分析的結(jié)果，即與違反規(guī)則有關(guān)的消息。靜態(tài)分析中要考慮的規(guī)則、命名約定和禁止符號可以在P