会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • 用于检查代码等价性的方法
    • CN107567618B
    • 2021-01-26
    • CN201680024717.7
    • 2016-04-28
    • 阿海珐核能公司
    • 理查德·克里克尔安德烈亚斯·昆泽尔
    • G06F11/36
    • 一种用于检查控制系统的两个软件的功能等价性的方法,尤其是从具有多个互连功能块的功能块图(120,196)设计的、基于可编程逻辑控制器的控制系统,所述方法包括以下步骤:a)借助于遵循第一组顺序化规则的第一代码发生器来从第一多个功能块图(70,74,78)产生可编译源代码的第一实例;b)解析所述源代码的第一实例并识别全部功能块I/O端口和结点(节点)的组以及数据流的全部功能块I/O端口和结点(弧)之间的全部连接的组;c)使用来自步骤b)的信息来在上行方向上重建所述源代码的第一实例的第一数据流图(86);d)借助于遵循第一组顺序化规则的第一代码发生器或遵循第二组顺序化规则的第二代码发生器来从第二多个功能块图(90,94,98)产生可编译源代码的第二实例;e)解析所述源代码的第二实例并识别全部功能块I/O端口和结点(节点)的组以及数据流的全部功能块I/O端口和结点(弧)之间的全部连接的组;f)使用来自步骤e)的信息来在上行方向上重建所述源代码的第二实例的第二数据流图(106);g)将所述第一识别的数据流图(86)与所述第二识别的数据流图(106)彼此逐个节点地比较,由此检查在所述源代码的第二实例中上至节点的输入的传递闭包是否与在所述源代码的第一实例中相同。