专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明专利

JP2012059026A Source code conversion method and source code conversion program 审中-公开
标题翻译：源代码转换方法和源代码转换程序
公开(公告)号：JP2012059026A
公开(公告)日：2012-03-22
申请号：JP2010201797
申请日：2010-09-09
申请人： Hitachi Ltd , 株式会社日立製作所
发明人： ICHII MAKOTO , CHIKAHISA MASAAKI , NOGUCHI HIDETO , NAGANO TAKEHIKO
IPC分类号： G06F11/36 , G06F11/28
CPC分类号： G06F8/40 , G06F8/51 , G06F8/75 , G06F11/3604 , G06F11/3624
摘要： PROBLEM TO BE SOLVED: To solve the problem that since a user can only choose a unique conversion system in an approach for converting a software source code into an inspection code so as to reduce cost for describing inspection code in an input language of model checker in software model inspection, changes in abstraction level are difficult to be made, cost for correcting rules to follow the source code design modification is high, cost for correcting rules to perform inspection with a different inspection tool is high, etc.SOLUTION: Means to select multiple conversion rules is provided in converting the source code into the inspection code, so that the user can easily change the abstraction level. The multiple conversion rules include a conversion rule for converting the source code into an intermediate format, a conversion rule for performing abstraction in the intermediate format and a conversion rule for converting the intermediate format into an inspection code.
摘要翻译：要解决的问题：为了解决由于用户只能选择用于将软件源代码转换为检验代码的方法中的唯一转换系统的选择，以便降低用于将检验代码描述在输入语言中的成本的问题模型检查在软件模型检查中，抽象层次的变化难以实现，用于纠正规则跟随源代码设计修改的成本高，用不同检查工具进行检查的纠正规则成本高等。 >解决方案：在将源代码转换为检验代码时，提供了选择多个转换规则的方法，以便用户可以轻松地更改抽象级别。多个转换规则包括用于将源代码转换为中间格式的转换规则，用于执行中间格式的抽象的转换规则和用于将中间格式转换为检验代码的转换规则。版权所有（C）2012，JPO＆INPIT

2. 发明专利

JP2014126985A Source code equivalence verification device, and source code equivalence verification method 有权
标题翻译：源代码等效验证设备和源代码等效验证方法
公开(公告)号：JP2014126985A
公开(公告)日：2014-07-07
申请号：JP2012282485
申请日：2012-12-26
申请人： Hitachi Ltd , 株式会社日立製作所
发明人： NIIHARA ATSUSUKE , ICHII MAKOTO , SUZUKI YASUFUMI , NOGUCHI HIDETO
IPC分类号： G06F11/36 , G06F11/28
摘要： PROBLEM TO BE SOLVED: To speedily perform equivalence verification on refactoring, performed by a person, through symbol execution without exploding computational complexity.SOLUTION: When equivalence of a source code is verified, two kinds of verification are carried out by structure comparison based upon a structure graph in which a source code is analyzed and symbol execution. When it is determined that a structure is coincident through structure comparison using the structure graph, the symbol execution is not performed. Before the verification by the structure comparison, the structure graph is normalized based upon normalization information in which respective source codes before and after refactoring are determined by refactoring patterns, and when the refactoring is formal, adjustments are made so that the structure is coincident. Further, structure graphs before and after the refactoring which are made abstract are verified through the symbol execution to limit a place where the symbol execution is performed.
摘要翻译：要解决的问题：通过符号执行，通过符号执行快速执行重构的等价性验证，而不会爆炸计算复杂度。解决方案：当验证源代码的等价性时，通过基于a的结构比较来执行两种验证分析源代码和符号执行的结构图。当通过使用结构图的结构比较确定结构一致时，不执行符号执行。在通过结构比较验证之前，根据归一化信息归一化结构图，其中通过重构模式确定重构之前和之后的各个源代码，并且当重构是正式的时，进行调整以使结构重合。此外，通过符号执行来验证抽象的重构之前和之后的结构图，以限制执行符号执行的位置。

3. 发明专利

JP2013120491A Source code conversion method and source code conversion program 有权
标题翻译：源代码转换方法和源代码转换程序
公开(公告)号：JP2013120491A
公开(公告)日：2013-06-17
申请号：JP2011268222
申请日：2011-12-07
申请人： Hitachi Ltd , 株式会社日立製作所
发明人： MYOJIN TOMOYUKI , ICHII MAKOTO , CHIKAHISA MASAAKI , NOGUCHI HIDETO , NAGANO TAKEHIKO
IPC分类号： G06F11/36 , G06F9/445
摘要： PROBLEM TO BE SOLVED: To provide a source code conversion method and a source code conversion program capable of flexibly adapting to an abstraction level etc. and associating an error trace at a source code level according to the abstraction level with a source code before abstraction.SOLUTION: A source code conversion method achieved by a source code conversion device which converts a source code of software into an inspection code described in an input language of a verification tool according to a plurality of different conversion rules performs the steps of: converting an abstracted intermediate form into an intermediate form before abstraction using an inverse conversion rule stored in a step to abstract a converted intermediate form; and converting the intermediate form before abstraction into an abstracted source code which is a source code by using an inverse conversion rule stored in a step to convert the source code into the intermediate form.
摘要翻译：要解决的问题：提供能够灵活地适应抽象级别等的源代码转换方法和源代码转换程序，并且根据抽象级别将源代码级别的错误跟踪与源代码相关联抽象之前。解决方案：根据多个不同的转换规则，由源代码转换装置实现的源代码转换方法，其将软件的源代码转换为以验证工具的输入语言描述的检验代码，执行以下步骤：在抽象之前使用存储在步骤中的逆转换规则将抽象的中间形式转换成中间形式以抽象转换的中间形式; 并且在抽象之前将中间形式转换为作为源代码的抽象源代码，其中使用存储在步骤中的逆转换规则将源代码转换为中间形式。版权所有（C）2013，JPO＆INPIT

4. 发明专利

JP2013057985A System design support device and method 审中-公开
标题翻译：系统设计支持设备和方法
公开(公告)号：JP2013057985A
公开(公告)日：2013-03-28
申请号：JP2009279041
申请日：2009-12-09
申请人： Hitachi Ltd , 株式会社日立製作所
发明人： ICHII MAKOTO , KAWAKAMI MASUMI , NOGUCHI HIDETO
IPC分类号： G06F9/44
CPC分类号： G06F8/38
摘要： PROBLEM TO BE SOLVED: To solve the problem that in software development, the description of state tables created for state design can become cumbersome and complex when branched by internal states.SOLUTION: An decision table 233 comprising a state table and a determination table is created using screen state definitions 231 and internal state definitions 232 registered in advance in a storage unit 230.
摘要翻译：要解决的问题：为了解决在软件开发中，为国家设计创建的状态表的描述在内部状态分支时可能变得麻烦和复杂。
解决方案：使用预先登记在存储单元230中的屏幕状态定义231和内部状态定义232来创建包括状态表和确定表的决定表233.（C）2013，JPO和INPIT

5. 发明专利

JP2009251762A Debugger device, debugging method, and program 审中-公开
标题翻译：调试器设备，调试方法和程序
公开(公告)号：JP2009251762A
公开(公告)日：2009-10-29
申请号：JP2008096592
申请日：2008-04-02
申请人： Hitachi Ltd , 株式会社日立製作所
发明人： NOGUCHI HIDETO , KATO MASAYASU , NIIHARA ATSUSUKE
IPC分类号： G06F11/28
摘要： PROBLEM TO BE SOLVED: To efficiently find a condition in which operation trouble is likely to occur in a debugging object program 24.
SOLUTION: When a process is executed, which is obtained by compiling a synthesized program 26 where the debugging object program 24 is synthesized with a control program 25 for controlling the debugging object program 24, the execution of the process is temporarily stopped at a point of time concerning the control program 25. An execution sequence interpreting part 114 reads one row of the execution sequence 23 output by a model inspecting part (a model inspecting program), etc., permits the process to carry out execution of an instruction described in the one read row, and allows the process receiving the permission to re-start the execution.
COPYRIGHT: (C)2010,JPO&INPIT
摘要翻译：要解决的问题：有效地找到调试对象程序24中可能发生操作故障的条件。解决方案：当执行通过编译合成程序26获得的处理时，其中调试对象程序24与用于控制调试对象程序24的控制程序25合成，在与控制程序25有关的时间点暂时停止处理的执行。执行顺序解释部114读取一行执行由模型检查部（模型检查程序）输出的序列23等允许处理执行一个读取行中描述的指令，并且允许处理接收到许可以重新开始执行。版权所有（C）2010，JPO＆INPIT

6. 发明专利

JP2013117767A Source code conversion method and source code conversion program 有权
标题翻译：源代码转换方法和源代码转换程序
公开(公告)号：JP2013117767A
公开(公告)日：2013-06-13
申请号：JP2011263765
申请日：2011-12-01
申请人： Hitachi Ltd , 株式会社日立製作所
发明人： ICHII MAKOTO , CHIKAHISA MASAAKI , NOGUCHI HIDETO , NAGANO TAKEHIKO , MYOJIN TOMOYUKI
IPC分类号： G06F11/28 , G06F11/36
CPC分类号： G06F11/3604 , G06F11/3624
摘要： PROBLEM TO BE SOLVED: To provide a source code conversion method and a source code conversion program which are capable of flexibly changing abstracted descriptions and efficiently reusing the abstracted descriptions.SOLUTION: The source code conversion method employs a source code conversion device which converts a source code of software to a check code described in an input language of a verification tool by a plurality of different conversion rules. The plurality of different conversion rules result from fine-granularity partitioning of a series of processing for converting a source code of a check object to a check code and abstracting the check object, and an intermediate form to which the source code is converted can represent not only physical elements being elements equivalent to elements of the source code or the check code but also logical elements being elements produced in a step of abstracting software.
摘要翻译：要解决的问题：提供能够灵活地改变抽象描述并有效地重用抽象描述的源代码转换方法和源代码转换程序。源代码转换方法采用源代码转换装置，其通过多个不同的转换规则将软件的源代码转换成验证工具的输入语言所描述的校验码。多个不同的转换规则是由一系列用于将检查对象的源代码转换为检查代码并抽取检查对象的处理的细粒度分割产生的，并且源代码被转换到的中间形式不能表示只有物理元素是与源代码或检查代码的元素相当的元素，而且逻辑元素是在抽象软件的步骤中产生的元素。版权所有（C）2013，JPO＆INPIT

7. 发明专利

JP2010277533A Specification inspection apparatus 审中-公开
标题翻译：规格检验仪器
公开(公告)号：JP2010277533A
公开(公告)日：2010-12-09
申请号：JP2009132334
申请日：2009-06-01
申请人： Hitachi Ltd , 株式会社日立製作所
发明人： NOGUCHI HIDETO , NAKAGAWA YUICHIRO , KATO MASAYASU
IPC分类号： G06F11/36
摘要： PROBLEM TO BE SOLVED: To efficiently inspect operation specifications of operation entities of a system in terms of a property information group of a plurality of pieces of property information.
SOLUTION: An input of operation specification information 100 about an operation entity is supplied to an inspection control part 13 of an inspection instruction part 7, and an input of a property information group of property information 101 is recorded in a property information recording part 6 and then read into the inspection control part 13. The inspection control part 13 creates inspection plan information 106 for the operation specification information 100 in model inspection parts 3a, 3b, etc. according to the property information 101, and assigns the property information 101 to the model inspection parts 3a, 3b, etc. according to the inspection plan information 106 to cause them to inspect whether or not the operation specification information 100 satisfies the property information. By way of example, different pieces of property information 101a-101c are assigned to the model inspection parts 3a, 3b, etc. respectively, which simultaneously inspect the operation specification information 100.
COPYRIGHT: (C)2011,JPO&INPIT
摘要翻译：要解决的问题：根据多个属性信息的属性信息组来有效地检查系统的操作实体的操作规范。解决方案：将关于操作实体的操作指定信息100的输入提供给检查指令部分7的检查控制部分13，并且将属性信息组属性信息101的输入记录在属性信息记录中部分6，然后读入检查控制部13.检查控制部13根据属性信息101，对模型检查部3a，3b等的操作指定信息100生成检查计划信息106，并分配属性信息 101根据检查计划信息106发送到模型检查部件3a，3b等，以使它们检查操作指定信息100是否满足属性信息。作为示例，分别将不同的属性信息101a-101c分配给同时检查操作指定信息100的模型检查部分3a，3b等。（C）2011年，JPO和INPIT

8. 发明专利

JP2006309290A Method and device for supporting preparation of test program 审中-公开
标题翻译：支持测试程序准备的方法和设备
公开(公告)号：JP2006309290A
公开(公告)日：2006-11-09
申请号：JP2005127366
申请日：2005-04-26
申请人： Hitachi Ltd , 株式会社日立製作所
发明人： TAKEBE YASUAKI , NOGUCHI HIDETO
IPC分类号： G06F11/28 , G06F11/22
摘要： PROBLEM TO BE SOLVED: To reuse a prepared program code even when a specification is changed, when a test program is prepared from the formal specification and when the program code is inserted manually into the test program. SOLUTION: A storage part for storing the program code to be inserted into the test program is provided to store a combination of a pattern matched with the test program and the program code to be inserted thereinto. A pattern matching part matches the test pattern generated from the formal specification with the stored pattern, and inserts the corresponding program code into the test program. The test program inserted with the program code is executed by a test execution part. COPYRIGHT: (C)2007,JPO&INPIT
摘要翻译：要解决的问题：即使当规范改变时，当从正式规范准备测试程序以及将程序代码手动插入到测试程序中时，也要重新使用准备好的程序代码。提供存储要插入到测试程序中的程序代码的存储部分，以存储与测试程序匹配的模式和要插入到其中的程序代码的组合。模式匹配部分将从形式规范生成的测试模式与存储的模式相匹配，并将相应的程序代码插入到测试程序中。由程序代码插入的测试程序由测试执行部分执行。版权所有（C）2007，JPO＆INPIT

9. 发明专利

JP2012022536A Source code inspection method and source code inspection apparatus 有权
标题翻译：源代码检查方法和源代码检查设备
公开(公告)号：JP2012022536A
公开(公告)日：2012-02-02
申请号：JP2010160202
申请日：2010-07-15
申请人： Hitachi Ltd , 株式会社日立製作所
发明人： NOGUCHI HIDETO , ICHII MAKOTO
IPC分类号： G06F11/36
摘要： PROBLEM TO BE SOLVED: To reduce a calculation time required for an inspection and the amount of storage region used by a computer in the inspection of a source code of a software program.SOLUTION: A source code inspection method includes: converting an input source code into operation specification information (a model) which defines behavior under an input inspection condition; executing an inspection with a part of the operation specification information defined as an inspection object; finishing a process when the inspection is finished within the inspection object range; when detecting an aberration of the operation out of the inspection object range, executing the inspection by expanding the inspection object range; and repeating it till the aberration out of the inspection object range is eliminated.
摘要翻译：要解决的问题：为了减少在检查软件程序的源代码时检查所需的计算时间和计算机使用的存储区域的数量。源代码检查方法包括：将输入源代码转换为在输入检查条件下定义行为的操作规范信息（模型）; 用定义为检查对象的操作规范信息的一部分执行检查; 在检验对象范围内完成检验的过程; 当在检测对象范围内检测到操作的像差时，通过扩大检查对象范围来执行检查; 并重复它，直到检测对象范围之外的像差被消除。版权所有（C）2012，JPO＆INPIT

10. 发明专利

JP2010250422A Device and method for editing of state transition table 有权
标题翻译：用于编辑状态转换表的装置和方法
公开(公告)号：JP2010250422A
公开(公告)日：2010-11-04
申请号：JP2009096932
申请日：2009-04-13
申请人： Hitachi Ltd , 株式会社日立製作所
发明人： SHIMABUKURO JUN , NAKAGAWA YUICHIRO , FURUYA NAOKI , NOGUCHI HIDETO , KAWAKAMI MASUMI , KATO MASAYASU , NIIHARA ATSUSUKE
IPC分类号： G06F9/44
摘要： PROBLEM TO BE SOLVED: To allow a verifier of a system to designate simplification of a state transition specification by a viewpoint based on a sequence diagram, and to allow the verifier to correctly perform the simplification of the state transition specification.
SOLUTION: In this state transition table editing device editing a state transition table representing a state transition table specification, the sequence diagram is displayed on a display device, and a viewpoint of degeneration of the state transition table and a degeneration target section in the sequence diagram are input from an input device, and a CPU (Central Processing Unit) determines degeneration contents of the state transition table based on the input viewpoint of the degeneration of the state transition table and the degeneration target section in the sequence diagram, and generates data of the state transition table after the degeneration from data representing the original state transition table.
COPYRIGHT: (C)2011,JPO&INPIT
摘要翻译：要解决的问题：允许系统的验证者基于序列图通过视点来指定状态转换规范的简化，并且允许验证者正确地执行状态转换规范的简化。解决方案：在该状态下，转换表编辑装置编辑表示状态转换表规格的状态转移表，将序列图显示在显示装置上，将状态转移表和退化目标部的退化视点序列图由输入装置输入，CPU（中央处理单元）基于序列图中状态转换表和退化目标部分的退化的输入视点来确定状态转换表的退化内容，以及从表示原始状态转换表的数据生成退化后的状态转换表的数据。版权所有（C）2011，JPO＆INPIT

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式