Program analysis program, program analysis device, and program analysis method
    1.
    发明申请
    Program analysis program, program analysis device, and program analysis method 审中-公开
    程序分析程序,程序分析装置和程序分析方法

    公开(公告)号:US20070094540A1

    公开(公告)日:2007-04-26

    申请号:US11339668

    申请日:2006-01-26

    IPC分类号: G06F11/00

    CPC分类号: G06F8/75

    摘要: The present invention provides a program analysis program, a program analysis device, and a program analysis method which can analyze programs and obtain input/output information of the programs effectively. The program analysis device includes an execution path detection unit that detects an execution path and a variable from a group of programs, an execution path pursuit unit that pursues the detected execution path and variable, a variable value limitation unit that seeks values that the variable can turn out to be along with the pursuit for execution path, and limits the variable value in the execution path to be pursued afterward, an execution path limitation unit that, in case there arises a point at which the execution path branches depending on a condition that the variable value satisfies in the pursuit for execution path, after the branch point, limits the pursued execution path only to an execution path in which the limited variable value satisfies the condition, and an input/output information acquisition unit that, in case there arises a point at which data is input or output in the pursuit for execution path, acquires the input/output information.

    摘要翻译: 本发明提供一种程序分析程序,程序分析装置和程序分析方法,其可以有效地分析程序并获得程序的输入/输出信息。 程序分析装置包括:执行路径检测单元,其从一组程序中检测执行路径和变量;执行路径追踪单元,追踪检测到的执行路径和变量;变量值限制单元,其寻求变量可以 结果是追求执行路径,并限制后续执行路径中的变量值,执行路径限制单元,在执行路径分支的点出现的情况下,该执行路径限制单元根据 在分支点之后,追求执行路径的变量值满足追求执行路径仅限于限制变量值满足该条件的执行路径,以及输入/输出信息获取单元,在发生的情况下 在追求执行路径时输入或输出数据的点获取输入/输出信息。

    Program conversion program, program conversion apparatus and program conversion method
    2.
    发明授权
    Program conversion program, program conversion apparatus and program conversion method 有权
    程序转换程序,程序转换装置和程序转换方法

    公开(公告)号:US08209670B2

    公开(公告)日:2012-06-26

    申请号:US11336917

    申请日:2006-01-23

    IPC分类号: G06F9/44

    CPC分类号: G06F8/74

    摘要: A program conversion program, a program conversion apparatus and a program conversion method that conversions a program having different process according to the content of an argument into a program which facilitate the analysis are provided. The program conversion apparatus includes a dedicated call destination program generating unit that detects the call destination program, an argument for differentiating the processes of the call destination program and the content of the argument from the program group and generates a program for executing only a process according to the content of the argument of the processes of the call destination program as the dedicated call destination program for each argument and each content of the argument, and a call source program rewriting unit that detects the call position for calling the call destination program from the program group and rewrites the call position to call the dedicated call destination program generated by the dedicated call destination program generating unit.

    摘要翻译: 提供了一种程序转换程序,程序转换装置和程序转换方法,其将具有根据参数内容的不同进程的程序转换成便于分析的程序。 程序转换装置包括一个专用呼叫目的地程序生成单元,用于检测呼叫目的地程序,用于区分呼叫目的地程序的处理和参数内容与该程序组相关联的参数,并且生成仅执行程序 将呼叫目的地程序的处理的参数的内容作为每个参数的专用呼叫目的地程序和参数的每个内容,以及呼叫源程序重写单元,其从所述呼叫目的地程序中调用呼叫目的地程序 程序组并重写呼叫位置,以呼叫由专用呼叫目的地节目产生单元生成的专用呼叫目的地节目。

    Program conversion program, program conversion apparatus and program conversion method
    3.
    发明申请
    Program conversion program, program conversion apparatus and program conversion method 有权
    程序转换程序,程序转换装置和程序转换方法

    公开(公告)号:US20070089099A1

    公开(公告)日:2007-04-19

    申请号:US11336917

    申请日:2006-01-23

    IPC分类号: G06F9/45

    CPC分类号: G06F8/74

    摘要: A program conversion program, a program conversion apparatus and a program conversion method that conversions a program having different process according to the content of an argument into a program which facilitate the analysis are provided. The program conversion apparatus includes a dedicated call destination program generating unit that detects the call destination program, an argument for differentiating the processes of the call destination program and the content of the argument from the program group and generates a program for executing only a process according to the content of the argument of the processes of the call destination program as the dedicated call destination program for each argument and each content of the argument, and a call source program rewriting unit that detects the call position for calling the call destination program from the program group and rewrites the call position to call the dedicated call destination program generated by the dedicated call destination program generating unit.

    摘要翻译: 提供了一种程序转换程序,程序转换装置和程序转换方法,其将具有根据参数内容的不同进程的程序转换成便于分析的程序。 程序转换装置包括一个专用呼叫目的地程序生成单元,用于检测呼叫目的地程序,用于区分呼叫目的地程序的处理和参数内容与该程序组相关联的参数,并且生成仅执行程序 将呼叫目的地程序的处理的参数的内容作为每个参数的专用呼叫目的地程序和参数的每个内容,以及呼叫源程序重写单元,其从所述呼叫目的地程序中调用呼叫目的地程序 程序组并重写呼叫位置,以呼叫由专用呼叫目的地节目产生单元生成的专用呼叫目的地节目。

    Apparatus for and method of creating computer program specifications, and computer program product
    4.
    发明申请
    Apparatus for and method of creating computer program specifications, and computer program product 审中-公开
    用于制作计算机程序规范的装置和方法以及计算机程序产品

    公开(公告)号:US20050086647A1

    公开(公告)日:2005-04-21

    申请号:US10786086

    申请日:2004-02-26

    IPC分类号: G06F9/44 G06F9/40

    CPC分类号: G06F8/75 G06F9/4484

    摘要: A method of creating computer program specifications includes creating the structure information that indicates a relation between program call structure and data input-output information of the computer program source code by analyzing a computer program source code. The method also includes creating process-outline information of the computer program source code from a part of the structure information, after the creating of the structure information. The method further includes creating computer program specifications of the computer program source code by using the process-outline information, after the creating of the process-outline information.

    摘要翻译: 一种创建计算机程序规范的方法包括通过分析计算机程序源代码来创建指示程序调用结构与计算机程序源代码的数据输入 - 输出信息之间的关系的结构信息。 该方法还包括在创建结构信息之后从结构信息的一部分创建计算机程序源代码的过程大纲信息。 该方法还包括在创建过程大纲信息之后通过使用过程大纲信息来创建计算机程序源代码的计算机程序规范。

    Method and apparatus for supporting application enhancement
    5.
    发明授权
    Method and apparatus for supporting application enhancement 有权
    支持应用程序增强的方法和装置

    公开(公告)号:US08307326B2

    公开(公告)日:2012-11-06

    申请号:US12656149

    申请日:2010-01-19

    IPC分类号: G06F9/44 G06F9/45

    CPC分类号: G06F8/72 G06Q10/06

    摘要: A method includes generating an application model that represents a relation of connection based on a control flow relation and a data dependency relation between a module and data constituting an application, by analyzing a source code, evaluating complexity of the relation of connection that is represented by the application model generated in the generating, and outputting an enhancement point used in reducing the complexity evaluated in the evaluating.

    摘要翻译: 一种方法包括通过分析源代码来生成表示基于控制流关系的连接关系和模块与构成应用的数据之间的数据依赖关系的应用模型,评估源代码,评估由 在生成中产生的应用模型,并且输出用于降低评估中评估的复杂度的增强点。

    Method and apparatus for supporting application enhancement
    6.
    发明申请
    Method and apparatus for supporting application enhancement 有权
    支持应用程序增强的方法和装置

    公开(公告)号:US20100125824A1

    公开(公告)日:2010-05-20

    申请号:US12656149

    申请日:2010-01-19

    IPC分类号: G06F9/44

    CPC分类号: G06F8/72 G06Q10/06

    摘要: A method includes generating an application model that represents a relation of connection based on a control flow relation and a data dependency relation between a module and data constituting an application, by analyzing a source code, evaluating complexity of the relation of connection that is represented by the application model generated in the generating, and outputting an enhancement point used in reducing the complexity evaluated in the evaluating.

    摘要翻译: 一种方法包括通过分析源代码来生成表示基于控制流关系的连接关系和模块与构成应用的数据之间的数据依赖关系的应用模型,评估源代码,评估由 在生成中产生的应用模型,并且输出用于降低评估中评估的复杂度的增强点。

    Method and apparatus for analyzing application
    7.
    发明申请
    Method and apparatus for analyzing application 失效
    用于分析应用的方法和装置

    公开(公告)号:US20100122240A1

    公开(公告)日:2010-05-13

    申请号:US12656091

    申请日:2010-01-15

    IPC分类号: G06F9/44

    CPC分类号: G06F8/75

    摘要: An application analyzing method includes extracting a variable corresponding to a particular input data item and information regarding a value of the variable by analyzing a plurality of source programs constituting an application, record information of a database used by the application, and execution control information of the application, and outputting, based on the variable and the information regarding the value of the variable extracted in the extracting, information regarding a presumed value with respect to the input data item as presumed requirement information.

    摘要翻译: 应用程序分析方法包括:通过分析构成应用程序的多个源程序,记录应用程序使用的数据库的信息,以及执行控制信息,提取与特定输入数据项对应的变量和关于变量的值的信息 应用和输出,基于关于提取中提取的变量的值的信息,关于作为推定的要求信息的输入数据项的推测值的信息。

    Method and apparatus for analyzing application
    9.
    发明授权
    Method and apparatus for analyzing application 失效
    用于分析应用的方法和装置

    公开(公告)号:US08392892B2

    公开(公告)日:2013-03-05

    申请号:US12656091

    申请日:2010-01-15

    IPC分类号: G06F9/44 G06F9/45

    CPC分类号: G06F8/75

    摘要: An application analyzing method includes extracting a variable corresponding to a particular input data item and information regarding a value of the variable by analyzing a plurality of source programs constituting an application, record information of a database used by the application, and execution control information of the application, and outputting, based on the variable and the information regarding the value of the variable extracted in the extracting, information regarding a presumed value with respect to the input data item as presumed requirement information.

    摘要翻译: 应用程序分析方法包括:通过分析构成应用程序的多个源程序,记录应用程序使用的数据库的信息,以及执行控制信息,提取与特定输入数据项对应的变量和关于变量的值的信息 应用和输出,基于关于提取中提取的变量的值的信息,关于作为推定的要求信息的输入数据项的推测值的信息。

    Workflow diagram generation program, apparatus and method
    10.
    发明申请
    Workflow diagram generation program, apparatus and method 审中-公开
    工作流程图生成程序,设备和方法

    公开(公告)号:US20100042745A1

    公开(公告)日:2010-02-18

    申请号:US12588547

    申请日:2009-10-19

    IPC分类号: G06F15/173

    CPC分类号: G06Q10/06

    摘要: In a computer for executing a process in accordance with a workflow diagram generation program, a path extractor extracts processing paths from program information indicating the procedure of a business program, and generates path information indicating read and update processes performed in the individual processing paths and operation screens displayed in the processing paths. A path associator associates each transition relation, which is the relation between two data sets successively updated, with a processing path of which the data set to be read agrees with the data set of the transition source and of which the data set to be updated agrees with the data set of the transition destination. A flow diagram generator generates a workflow diagram which indicates the data sets as nodes and the transition relations as links and in which information indicating the operation screens displayed in the processing paths are annexed to the corresponding links.

    摘要翻译: 在用于根据工作流图生成程序执行处理的计算机中,路径提取器从指示业务程序的程序的程序信息中提取处理路径,并且生成表示在各个处理路径中进行的读取和更新处理的路径信息 在处理路径中显示的屏幕。 路径关联器将作为连续更新的两个数据集之间的关系的每个过渡关系与要被读取的数据集与转换源的数据集一致的处理路径相关联,并且其更新的数据集将一致 与转换目的地的数据集。 流程图生成器生成指示数据集作为节点的工作流图和作为链接的过渡关系,并且其中指示在处理路径中显示的操作屏幕的信息被附加到相应的链接。