- 1、本文档共10页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
第PAGE6页
PLC静态分析——TE1200使用方法
PLC静态分析——TE1200使用方法
作者:袁英杰
职务:华东区技术支持工程师
邮箱:yj.yuan@
日期:2024-02-08
摘要:
介绍TE1200的基本内容
附件:
序号
文件名
备注
历史版本:
免责声明:
我们已对本文档描述的内容做测试。但是差错在所难免,无法保证绝对正确并完全满足您的使用需求。本文档的内容可能随时更新,如有改动,恕不事先通知,也欢迎您提出改进建议。
参考信息:
目录
TOC\o1-3\h\z\u1. 软件介绍 3
2. 静态分析工具 3
2.1. 设置 3
2.2. 规则 4
2.2.1. SA0007-Addressoperatorsonconstants 4
2.2.2. SA0017-Non-regularassignments 5
2.2.3. SA0021-Transportingtheaddressofatemporaryvariable 5
2.2.4. 高重要性 5
2.3. 命名约定 6
2.3.1. 占位符{datatype} 7
2.3.2. 扩展功能 7
2.4. 指标 8
2.5. 禁止符号 8
2.6. 注释 8
2.7. 运行 9
3. AutomationInterface 10
软件介绍
TE1200PLCStaticAnalysis提供了PLC静态分析工具,帮助编程人员更好的分析PLC代码。该软件没有7天试用版,该软件默认集成在TwinCAT开发环境中。当没有TE1200授权时,该软件为轻量级分析工具,当有TE1200授权时,该软件为完整版分析工具。其对比如下:
功能
轻量级
完整版
保存/导出以及加载/导入配置
不可用
可用
编译过程中执行
不可配置
可配置
检查未使用对象
不可用
可用
报错最大数
500,不可配置
可配置
报警最大数
不可配置
可配置
激活选项
激活并报错
激活报错及报警
规则
7条规则
超过100条规则
预编译波浪下划线,快速修正
不可用
可用
命名约定
不可用
可用
指标
不可用
可用
禁止符号
不可用
可用
暂时停用规则的Pragma和Attribute
可用,3条
可用,6条
静态分析工具
设置
勾选自动执行静态分析后PLC每次编译后会同时执行静态分析;
加载和保存可以导出或者导入已经配置好的静态分析规则;
最大报错和警告意味着当静态分析返回的信息超过相关值之后分析将会停止
规则
如上图显示,深色勾为报告错误,浅色勾为报告警告,可以通过单击图标显示。除了SA0016、SA0024、SA0073、SA0101、SA0105-SA0107、SA0111-SA0125、SA0133、SA0134、SA0145、SA0147、SA0148、SA0150、SA0162-SA0167和必须要遵守的IEC规则外,所有规则都默认启用。
针对每个规则的具体含义,可以参阅infosys/TE1200/Configuration/Rules/Rules-overviewanddescription。
本文举三个例子。
SA0007-Addressoperatorsonconstants
指向常量变量的指针将取消该变量的constant属性。变量可以通过指针改变,而编译器不会报告这一点。
在极少数情况下,将指向常量的指针传递给函数是有意义的。如果使用此选项,则必须确保函数不会更改传递给它的值。在这种情况下,应该使用VAR_IN_OUTCONSTANT。
SA0017-Non-regularassignments
如果指针包含的值不是有效地址,则在处理引用指针时将发生访问冲突异常。
SA0021-Transportingtheaddressofatemporaryvariable
函数或方法的局部变量是在堆栈上创建的,只有在处理函数或方法时才存在。如果指针在处理方法或函数后指向这样一个变量,那么这个指针可以用来访问未定义的内存或另一个函数中不正确的变量。这种情况无论如何都要避免。
高重要性
以下规则在PLC编程规则中重要性较高,在不影响逻辑实现的前提下,建议作为报错规则使用
SA0001
SA0004
SA0006
SA0007
SA0015
SA0017
SA0020
SA0021
SA0028
SA0034
SA0040
SA0044
SA0019
SA0047
SA0048
SA0053
SA0054
SA0055
SA0056
SA0059
SA0061
SA0065
SA0072
SA00
您可能关注的文档
最近下载
- DB11_T 584-2022 薄抹灰外墙外保温工程技术规程.pdf VIP
- 2024年华医网继续教育临床静脉用药质量管理与风险防范答案.docx VIP
- 《金属材料及热处理(第三版)习题册》-参考答案 劳动.pdf
- 公司理财 罗斯第十一版 英文 解答手册 Corporate_Finance_11th_edition_Solutions_Manual.docx
- 最新初中七年级数学运算能力培养策略(课件).pptx VIP
- 泄爆面积计算表-适用-GBT-.xls VIP
- 高压氧常识介绍高压氧治疗.pptx VIP
- 幼儿园绘本:《闪闪的红星》 红色故事.pptx
- 高速公路多元数据综合分析系统建设方案.pdf
- 动火临时用电管理方案.doc
文档评论(0)