用于检查代码等价性的方法与流程

文档序号:13426419阅读:来源:国知局
技术总结
一种用于检查控制系统的两个软件的功能等价性的方法,尤其是从具有多个互连功能块的功能块图(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)彼此逐个节点地比较,由此检查在所述源代码的第二实例中上至节点的输入的传递闭包是否与在所述源代码的第一实例中相同。

技术研发人员:理查德·克里克尔;安德烈亚斯·昆泽尔
受保护的技术使用者:阿海珐核能公司
文档号码:201680024717
技术研发日:2016.04.28
技术公布日:2018.01.09

当前第3页1 2 3 
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1