会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明授权
    • Program analysis support device
    • 程序分析支持设备
    • US09087151B2
    • 2015-07-21
    • US13144037
    • 2009-08-11
    • Satoru NakaiHirohisa FurutaAkira IshiharaKimiaki SatoTakashi TsuboiAkira Kaneko
    • Satoru NakaiHirohisa FurutaAkira IshiharaKimiaki SatoTakashi TsuboiAkira Kaneko
    • G05B19/42G06F11/36
    • G06F11/3604Y02P90/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处理部分进一步执行两个变量的交叉引用的逻辑积的处理,并将其结果输出到分析结果显示部分。