公开(公告)号：CN102317877A

公开(公告)日：2012-01-11

申请号：CN200980156859.9

申请日：2009-08-11

Applicant: 三菱电机株式会社

Inventor： 仲井勘 ,  古田裕久 ,  石原鉴 ,  佐藤公昭 ,  坪井隆 ,  金子晃

IPC: G05B19/05 ,  G06F9/44

CPC classification number: G06F11/3604 ,  Y02P90/265

Abstract: 提供一种能够自由组合程序分析条件的能够实现所期望的程序分析的程序分析支援装置。并且，分析条件设定部(10)以具有固有的式编号的条件式(分析指令、分析对象、分析条件)的形式，输入程序分析条件。POU一览抽取处理执行部(14)执行用于读入程序的分析指令，生成构成程序的分析对象的POU的集合，变量使用一览抽取处理执行部(12)执行用于抽取变量的对照索引的分析指令，抽取针对分析对象的POU集合的变量的对照索引。两个部(14、12)进一步抽取针对其它POU集合的变量的对照索引。而且AND处理部(17)进行两个变量的对照索引的逻辑积的处理，将其结果输出到分析结果显示部(20)。

公开(公告)号：CN102317877B

公开(公告)日：2014-07-09

申请号：CN200980156859.9

申请日：2009-08-11

Applicant: 三菱电机株式会社

Inventor： 仲井勘 ,  古田裕久 ,  石原鉴 ,  佐藤公昭 ,  坪井隆 ,  金子晃

IPC: G06F9/44 ,  G05B19/05

CPC classification number: G06F11/3604 ,  Y02P90/265

Abstract: 本发明提供一种能够自由组合程序分析条件的能够实现所期望的程序分析的程序分析支援装置。并且，分析条件设定部(10)以具有固有的式编号的条件式(分析指令、分析对象、分析条件)的形式，输入程序分析条件。POU一览抽取处理执行部(14)执行用于读入程序的分析指令，生成构成程序的分析对象的POU的集合，变量使用一览抽取处理执行部(12)执行用于抽取变量的对照索引的分析指令，抽取针对分析对象的POU集合的变量的对照索引。两个部(14、12)进一步抽取针对其它POU集合的变量的对照索引。而且AND处理部(17)进行两个变量的对照索引的逻辑积的处理，将其结果输出到分析结果显示部(20)。