专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

WO2016174132A1 METHOD FOR CHECKING EQUIVALENCE OF CODE 审中-公开
标题翻译：检查代码等同性的方法
公开(公告)号：WO2016174132A1
公开(公告)日：2016-11-03
申请号：PCT/EP2016/059479
申请日：2016-04-28
申请人： AREVA NP SAS
发明人： KRECKEL, Richard , KÜNZEL, Andreas
IPC分类号： G06F11/36 , G06F17/50
CPC分类号： G06F11/36 , G05B9/02 , G06F8/427 , G06F8/433 , G06F8/71 , G21D3/04
摘要： A method for checking the functional equivalence of two pieces of software for control systems, in particular control systems based on programmable logic controllers, engineered from function block diagrams (120, 196) with a plurality of interconnected function blocks, the method comprising the following steps: a) generating a first instance of compilable source code from a first plurality of function block diagrams (70, 74, 78) by virtue of a first code generator obeying to a first set of sequentialization rules; b) parsing said first instance of source code and identifying the set of all function block I/O ports and junction points (nodes) and the set of all connections between them (arcs) of the data flow; c) using the information from step b) to reconstruct a first data flow graph (86) of said first instance of source code in the upstream direction; d) generating a second instance of compilable source code from a second plurality of function block diagrams (90, 94, 98) by virtue of the same or a second code generator obeying a second set of sequentialization rules; e) parsing said second instance of source code and identifying the set of all function block I/O ports and junction points (nodes) and the set of all connections between them (arcs) of the data flow; f) using the information from step e) to reconstruct a second data flow graph (106) of said second instance of source code in the upstream direction; g) comparing said first identified data flow graph (86) and said second identified data flow graph (106) with each other, node by node, and thereby checking if the transitive closure of input up to that node in said second instance of source code is the same as in said first instance of source code.
摘要翻译：一种用于检查用于控制系统的两个软件的功能等同的方法，特别是基于可编程逻辑控制器的控制系统，其由具有多个互连的功能块的功能框图（120,196）设计，所述方法包括以下步骤：a）凭借符合第一组顺序规则的第一代码生成器，从第一多个功能块图（70,74,78）生成可编译源代码的第一实例; b）解析所述源代码的第一实例并且识别所述数据流的所有功能块I / O端口和连接点（节点）以及它们之间的所有连接的集合的集合; c）使用来自步骤b）的信息来重建所述上游方向上的所述第一源代码实例的第一数据流图（86）; d）借助于遵循第二组顺序规则的相同或第二代码生成器，从第二多个功能块图（90,94,98）生成可编译源代码的第二实例; e）解析所述源代码的第二实例并且识别所述数据流的所有功能块I / O端口和连接点（节点）和它们之间的所有连接的集合的集合; f）使用来自步骤e）的信息来重构所述上游方向上所述源代码第二实例的第二数据流图（106）; g）逐节点将所述第一识别数据流图（86）和所述第二识别数据流图（106）进行比较，从而检查所述第二个源代码中直到该节点的输入的传递闭包与源代码的第一个实例相同。

2. 发明公开

EP3089037A1 METHOD FOR CHECKING EQUIVALENCE OF CODE 有权转让
标题翻译： VERFAHREN ZURÜBERPRÜFUNGDERÄQUIVALENZVON代码
公开(公告)号：EP3089037A1
公开(公告)日：2016-11-02
申请号：EP15165729.3
申请日：2015-04-29
申请人： Areva NP SAS
发明人： KRECKEL, Richard , KÜNZEL, Andreas
IPC分类号： G06F11/36 , G06F17/50
CPC分类号： G06F11/36 , G05B9/02 , G06F8/427 , G06F8/433 , G06F8/71 , G21D3/04
摘要： A method for checking the functional equivalence of two pieces of software for control systems, in particular control systems based on programmable logic controllers, engineered from function block diagrams (120, 196) with a plurality of interconnected function blocks, the method comprising the following steps:
a) generating a first instance of compilable source code from a first plurality of function block diagrams (70, 74, 78) by virtue of a first code generator obeying to a first set of sequentialization rules;
b) parsing said first instance of source code and identifying the set of all function block I/O ports and junction points (nodes) and the set of all connections between them (arcs) of the data flow;
c) using the information from step b) to reconstruct a first data flow graph (86) of said first instance of source code in the upstream direction;
d) generating a second instance of compilable source code from a second plurality of function block diagrams (90, 94, 98) by virtue of the same or a second code generator obeying a second set of sequentialization rules;
e) parsing said second instance of source code and identifying the set of all function block I/O ports and junction points (nodes) and the set of all connections between them (arcs) of the data flow;
f) using the information from step e) to reconstruct a second data flow graph (106) of said second instance of source code in the upstream direction;
g) comparing said first identified data flow graph (86) and said second identified data flow graph (106) with each other, node by node, and thereby checking if the transitive closure of input up to that node in said second instance of source code is the same as in said first instance of source code.
摘要翻译：一种用于检查用于控制系统的两个软件的功能等同的方法，特别是基于可编程逻辑控制器的控制系统，其由具有多个互连功能块的功能框图（120,196）设计，所述方法包括以下步骤：a）凭借符合第一组顺序化规则的第一代码生成器，从第一多个功能块图（70,74,78）生成可编译源代码的第一实例; b）解析所述源代码的第一实例并且识别所述数据流的所有功能块I / O端口和连接点（节点）和它们之间的所有连接的集合的集合; c）使用来自步骤b）的信息来重构所述上游方向上的所述第一源代码实例的第一数据流图（86）; d）借助于遵循第二组顺序规则的相同或第二代码生成器从第二多个功能块图（90,94,98）生成可编译源代码的第二实例; e）解析所述源代码的第二实例并且识别所述数据流的所有功能块I / O端口和连接点（节点）的集合以及它们之间的所有连接的集合（arcs）; f）使用来自步骤e）的信息来重构所述上游方向上所述源代码的第二实例的第二数据流图（106）; g）逐节点将所述第一识别数据流图（86）和所述第二识别数据流图（106）进行比较，从而检查所述第二个源代码中直到该节点的输入的传递闭包与源代码的第一个实例相同。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式