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

第6頁(yè)P(yáng)LC靜態(tài)分析——TE1200使用方法PLC靜態(tài)分析——TE1200使用方法作者：袁英杰職務(wù)：華東區(qū)技術(shù)支持工程師郵箱：yj.yuan@日期：2024-02-08摘要：介紹TE1200的基本內(nèi)容附件：序號(hào)文件名備注歷史版本：免責(zé)聲明：我們已對(duì)本文檔描述的內(nèi)容做測(cè)試。但是差錯(cuò)在所難免，無(wú)法保證絕對(duì)正確并完全滿足您的使用需求。本文檔的內(nèi)容可能隨時(shí)更新，如有改動(dòng)，恕不事先通知，也歡迎您提出改進(jìn)建議。參考信息：目錄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. 擴(kuò)展功能 72.4. 指標(biāo) 82.5. 禁止符號(hào) 82.6. 注釋 82.7. 運(yùn)行 93. AutomationInterface 10

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

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