公开(公告)号：US09087151B2

公开(公告)日：2015-07-21

申请号：US13144037

申请日：2009-08-11

申请人： Satoru Nakai ,  Hirohisa Furuta ,  Akira Ishihara ,  Kimiaki Sato ,  Takashi Tsuboi ,  Akira Kaneko

发明人： Satoru Nakai ,  Hirohisa Furuta ,  Akira Ishihara ,  Kimiaki Sato ,  Takashi Tsuboi ,  Akira Kaneko

IPC分类号： G05B19/42 ,  G06F11/36

CPC分类号： G06F11/3604 ,  Y02P90/265

摘要： A program analysis support device that can freely combine program analysis conditions and can realize desired program analysis. An analysis condition setting part inputs a program analysis condition in a form of a conditional equation (analysis command, an analysis subject, and analysis condition) having an inherent equation number. A POU list extraction processing executing part executes an analysis command that reads a program to generate a collection of POUs serving as analysis subjects constituting the program, and a variable use list extraction processing executing part executes an analysis command that extracts a cross-reference of a variable to extract a cross-reference of a variable to the POU collection serving as the analysis subject. Both the parts further extract a cross-reference of a variable to another POU collection. An AND processing part further performs processing of a logical product of the cross-references of both the variables and outputs a result thereof to an analysis result display part.

摘要翻译： 程序分析支持设备可以自由组合程序分析条件，并可实现所需的程序分析。 分析条件设置部分以具有固有方程数的条件方程（分析命令，分析对象和分析条件）的形式输入程序分析条件。 POU列表提取处理执行部执行读取程序以生成构成程序的分析对象的POU的集合的分析命令，并且可变使用列表提取处理执行部执行分析命令，该分析命令提取 变量将变量的交叉引用提取为用作分析对象的POU集合。 这两个部分进一步提取一个变量的交叉引用到另一个POU集合。 AND处理部分进一步执行两个变量的交叉引用的逻辑积的处理，并将其结果输出到分析结果显示部分。

公开(公告)号：US20110270424A1

公开(公告)日：2011-11-03

申请号：US13144037

申请日：2009-08-11

申请人： Satoru Nakai ,  Hirohisa Furuta ,  Akira Ishihara ,  Kimiaki Sato ,  Takashi Tsuboi ,  Akira Kaneko

发明人： Satoru Nakai ,  Hirohisa Furuta ,  Akira Ishihara ,  Kimiaki Sato ,  Takashi Tsuboi ,  Akira Kaneko

IPC分类号： G05B19/00

CPC分类号： G06F11/3604 ,  Y02P90/265

摘要： A program analysis support device that can freely combine program analysis conditions and can realize desired program analysis. An analysis condition setting part inputs a program analysis condition in a form of a conditional equation (analysis command, an analysis subject, and analysis condition) having an inherent equation number. A POU list extraction processing executing part executes an analysis command that reads a program to generate a collection of POUs serving as analysis subjects constituting the program, and a variable use list extraction processing executing part executes an analysis command that extracts a cross-reference of a variable to extract a cross-reference of a variable to the POU collection serving as the analysis subject. Both the parts further extract a cross-reference of a variable to another POU collection. An AND processing part further performs processing of a logical product of the cross-references of both the variables and outputs a result thereof to an analysis result display part.

摘要翻译： 程序分析支持设备可以自由组合程序分析条件，并可实现所需的程序分析。 分析条件设置部分以具有固有方程数的条件方程式（分析命令，分析对象和分析条件）的形式输入程序分析条件。 POU列表提取处理执行部执行读取程序以生成构成程序的分析对象的POU的集合的分析命令，并且可变使用列表提取处理执行部执行分析命令，该分析命令提取 变量将变量的交叉引用提取为用作分析对象的POU集合。 这两个部分进一步提取一个变量的交叉引用到另一个POU集合。 AND处理部分进一步执行两个变量的交叉引用的逻辑积的处理，并将其结果输出到分析结果显示部分。