[发明专利]用于编程语言的错误检测设备在审

专利信息
申请号: 201310373735.4 申请日: 2013-08-23
公开(公告)号: CN103631711A 公开(公告)日: 2014-03-12
发明(设计)人: 李相勋 申请(专利权)人: LS产电株式会社
主分类号: G06F11/36 分类号: G06F11/36;G05B19/05
代理公司: 北京金信立方知识产权代理有限公司 11225 代理人: 黄威;王涛
地址: 韩国*** 国省代码: 韩国;KR
权利要求书: 查看更多 说明书: 查看更多
摘要:
搜索关键词: 用于 编程 语言 错误 检测 设备
【权利要求书】:

1.一种用于PLC自动化系统上编程语言的错误检测设备,所述设备包括:

程序准备单元,其被配置为通过使用编程语言来准备程序;

逻辑转换器,其被配置为将准备的程序转换成序列;

散列码计算器,其被配置为通过将转换后的序列划分成多个程序语言的最小单位,通过被划分的多个程序语言的最小单位来计算各个散列码并且通过比较各个计算出的散列码来对于序列检测相同逻辑;以及

最长公共子序列计算器,其对于被所述多个程序语言的最小单位划分的序列计算最长公共子序列,并且通过将计算出的最长公共子序列应用到最长公共子序列算法来对于所述序列检测相似逻辑。

2.根据权利要求1所述的错误检测设备,进一步包括结果判定器,其被配置为:通过比较由所述散列码计算器计算出的所述多个程序语言的每个最小单位的散列码,在散列码是相互相同的情况下,判定相关序列是相同逻辑;以及通过将由所述最长公共子序列计算器计算出的最长公共子序列与设置序列的相似性阈值比较,在所述最长公共子序列大于设置序列的相似性阈值的情况下,判定相关序列是相似逻辑。

3.根据权利要求2所述的错误检测设备,进一步包括逻辑报告单元,其被配置为报告对于所述序列的相同逻辑检测、相似逻辑检测以及判定结果。

4.根据权利要求2所述的错误检测设备,进一步包括阈值输入单元,其被配置为在未检测到相似逻辑或者相似逻辑的数量超过设置阈值的情况下,由用户改变并且设置所述序列的相似性阈值。

5.根据权利要求1所述的错误检测设备,进一步包括变量过滤单元,其被配置为移除关于编程语言的变量的信息以用于相同逻辑的准确检测和判定。

6.一种用于PLC自动化系统上编程语言的错误检测方法,所述方法包括:

使用编程语言来准备程序并且将准备的程序转换成序列;

通过将转换后的序列划分成多个程序语言的最小单位,通过被划分的多个程序语言的最小单位来计算各个散列码并且通过比较各个计算出的散列码来对于序列检测相同逻辑;以及

对于被所述多个程序语言的最小单位划分的序列计算最长公共子序列,并且通过将计算出的最长公共子序列应用到最长公共子序列算法来对于所述序列检测相似逻辑。

7.根据权利要求6所述的错误检测方法,进一步包括:通过比较由所述散列码计算器计算出的所述多个程序语言的每个最小单位的散列码,在散列码是相互相同的情况下,判定相关序列是相同逻辑;以及通过将由所述最长公共子序列计算器计算出的最长公共子序列与设置序列的相似性阈值比较,在所述最长公共子序列大于设置序列的相似性阈值的情况下,判定相关序列是相似逻辑。

8.根据权利要求7所述的错误检测方法,进一步包括向用户报告对于所述序列的相同逻辑检测、相似逻辑检测以及其判定结果。

9.根据权利要求7所述的错误检测方法,进一步包括在未检测到相似逻辑或者相似逻辑的数量超过设置阈值的情况下,由用户改变并且设置所述序列的相似性阈值。

10.根据权利要求6所述的错误检测方法,进一步包括移除关于所述编程语言的变量的信息以用于相同逻辑的准确检测和判定。

下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于LS产电株式会社,未经LS产电株式会社许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/pat/books/201310373735.4/1.html,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top