会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明授权
    • Program developing apparatus, program developing method and computer readable medium
    • 程序开发装置,程序开发方法和计算机可读介质
    • US08117590B2
    • 2012-02-14
    • US12017734
    • 2008-01-22
    • Yoshio Kataoka
    • Yoshio Kataoka
    • G06F9/44
    • G06F8/72G06F8/75
    • There is provided a method including: dividing codes included in a first source code into a plurality of groups virtually; partitioning each arranged group into one or more sections made up of one or more codes which should be sequentially executed; store the sections in a storage; setting constraints of an execution order among the sections on a basis of the first source code; exhibiting contents of the storage to a user; exhibiting constraint information representing the constraints of the execution order to the user; editing the contents of the storage based on a first editing command from the user; editing the constraint information based on a second editing command from the user; and synthesizing the first source code and edited contents of the storage into a second source code according to edited constraint information.
    • 提供了一种方法,包括:虚拟地将包含在第一源代码中的代码分成多个组; 将每个排列的组分成由一个或多个代码组成的一个或多个部分,这些代码应该被顺序地执行; 将部分存储在存储中; 基于所述第一源代码设置所述部分之间的执行顺序的约束; 向用户展示存储的内容; 向用户展示表示执行顺序的约束的约束信息; 基于来自用户的第一编辑命令编辑存储的内容; 基于来自用户的第二编辑命令来编辑约束信息; 以及根据编辑的约束信息将存储器的第一源代码和编辑内容合成为第二源代码。
    • 4. 发明申请
    • PROGRAM DEVELOPING APPARATUS, PROGRAM DEVELOPING METHOD AND COMPUTER READABLE MEDIUM
    • 程序开发设备,程序开发方法和计算机可读介质
    • US20080184196A1
    • 2008-07-31
    • US12017734
    • 2008-01-22
    • Yoshio Kataoka
    • Yoshio Kataoka
    • G06F9/44
    • G06F8/72G06F8/75
    • There is provided a method including: dividing codes included in a first source code into a plurality of groups virtually; partitioning each arranged group into one or more sections made up of one or more codes which should be sequentially executed; store the sections in a storage; setting constraints of an execution order among the sections on a basis of the first source code; exhibiting contents of the storage to a user; exhibiting constraint information representing the constraints of the execution order to the user; editing the contents of the storage based on a first editing command from the user; editing the constraint information based on a second editing command from the user; and synthesizing the first source code and edited contents of the storage into a second source code according to edited constraint information.
    • 提供了一种方法,包括:虚拟地将包含在第一源代码中的代码分成多个组; 将每个排列的组分成由一个或多个代码组成的一个或多个部分,这些代码应该被顺序地执行; 将部分存储在存储中; 基于所述第一源代码设置所述部分之间的执行顺序的约束; 向用户展示存储的内容; 向用户展示表示执行顺序的约束的约束信息; 基于来自用户的第一编辑命令编辑存储的内容; 基于来自用户的第二编辑命令来编辑约束信息; 以及根据编辑的约束信息将存储器的第一源代码和编辑内容合成为第二源代码。
    • 7. 发明授权
    • Program analysis system and program analysis method
    • 程序分析系统和程序分析方法
    • US5862382A
    • 1999-01-19
    • US646065
    • 1996-05-07
    • Yoshio Kataoka
    • Yoshio Kataoka
    • G06F9/44G06F9/45
    • G06F8/75
    • It is an object of this invention to provide a program analysis system and a program analysis method which efficiently analyze the source code of a program through static analysis and, based on the analysis result, makes it easy for the user to understand the process contents and source code containing input/output specifications. To achieve this object, the data information extracting means (1) extracts from the source code the data information representing the structure of data items contained in the source code. The relation information extracting means (5) extracts relation information representing the relation among data items for each position in the source code, based on the source code and the data information. The process information extracting means (6) extracts various types of relation information on each process in the source code as the process information representing the process, based on the source code, data information, and relation information. The specifying module (7) enables the user to specify an output range and form. The outputting means (2) outputs extracted information in the specified form.
    • 本发明的目的是提供一种通过静态分析有效地分析程序的源代码的程序分析系统和程序分析方法,并且基于分析结果,使得用户易于理解处理内容和 包含输入/输出规范的源代码。 为了实现该目的,数据信息提取装置(1)从源代码中提取表示源代码中包含的数据项的结构的数据信息。 关系信息提取装置(5)基于源代码和数据信息提取表示源代码中每个位置的数据项之间的关系的关系信息。 处理信息提取装置(6)基于源代码,数据信息和关系信息,提取源代码中的每个处理的各种关系信息作为表示处理的处理信息。 指定模块(7)使用户能够指定输出范围和格式。 输出装置(2)以指定的形式输出提取的信息。
    • 10. 发明申请
    • PROGRAM VERIFICATION APPARATUS, PROGRAM VERIFICATION METHOD, AND PROGRAM STORAGE MEDIUM
    • 程序验证设备,程序验证方法和程序存储介质
    • US20090172643A1
    • 2009-07-02
    • US12343051
    • 2008-12-23
    • Kohei MaruchiYoshio KataokaMasahiro Sakai
    • Kohei MaruchiYoshio KataokaMasahiro Sakai
    • G06F9/44
    • G06F11/3696G06F11/3676
    • A program verification apparatus includes: a program executing unit executing a program; a variable monitoring unit monitoring a plurality of variables in the program to obtain monitor values of the variables; a target variable determiner determining one or more target variables out of the variables; a constraint condition storage storing a first constraint condition that defines a constraint to be satisfied for each of the target variables and a second constraint condition that defines a constraint to be satisfied among the target variables; a state acquiring unit sequentially acquiring target program state each of which is a combination of monitor values of the target variables at same time respectively; a state generating unit generating an unreached target program state which has not been acquired yet and satisfies the first and second constraint conditions; and a state setting unit setting the unreached target program state to the program.
    • 程序验证装置包括:执行程序的程序执行单元; 监视程序中的多个变量以获得变量的监视值的变量监视单元; 确定变量中的一个或多个目标变量的目标变量确定器; 约束条件存储,其存储定义要针对每个所述目标变量满足的约束的第一约束条件和定义要在所述目标变量中满足的约束的第二约束条件; 状态获取单元分别顺序地获取目标程序状态,每个目标程序状态是目标变量的监视值的组合; 状态生成单元,其生成未被获取的未被接收的目标程序状态,并且满足所述第一和第二约束条件; 以及状态设定单元,将未被接收的目标程序状态设定为程序。