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

1. 发明授权

US07937680B2 Method and apparatus for verifying specification, and computer product 有权
标题翻译：用于验证规格的方法和装置以及计算机产品
公开(公告)号：US07937680B2
公开(公告)日：2011-05-03
申请号：US11214848
申请日：2005-08-31
申请人： Qiang Zhu , Ryosuke Oishi , Tsuneo Nakata , Takashi Hasegawa
发明人： Qiang Zhu , Ryosuke Oishi , Tsuneo Nakata , Takashi Hasegawa
IPC分类号： G06F17/50 , G06F21/00 , G06Q20/00
CPC分类号： G06F8/10 , G06Q20/4012
摘要： An apparatus for verifying a specification includes a use-case extracting unit, a first setting unit, an operation extracting unit, a second setting unit, and a determining unit. The use-case extracting unit extracts an unprocessed use case from specification data. The first setting unit sets a condition based on a precondition, a postcondition, and an invariant condition for the use case. The operation extracting unit selects an event flow of an unprocessed path from the specification data and extracts an unprocessed operation (description) from the event flow selected. The second setting unit sets a precondition and a postcondition for the operation based on the extracted operation (description). The determining unit determines whether the invariant condition is valid.
摘要翻译：用于验证规范的装置包括用例提取单元，第一设置单元，操作提取单元，第二设置单元和确定单元。用例提取单元从规范数据中提取未处理的用例。第一设置单元基于用例的前提条件，后置条件和不变条件设置条件。操作提取单元从指定数据中选择未处理路径的事件流，并从所选择的事件流中提取未处理的操作（描述）。第二设定单元基于提取的操作（描述）设置操作的前提条件和后置条件。确定单元确定不变条件是否有效。

2. 发明申请

US20060265676A1 Method and apparatus for verifying specification, and computer product 有权
标题翻译：用于验证规格的方法和装置以及计算机产品
公开(公告)号：US20060265676A1
公开(公告)日：2006-11-23
申请号：US11214848
申请日：2005-08-31
申请人： Qiang Zhu , Ryosuke Oishi , Tsuneo Nakata
发明人： Qiang Zhu , Ryosuke Oishi , Tsuneo Nakata
IPC分类号： G06F17/50 , G06F9/44
CPC分类号： G06F8/10 , G06Q20/4012
摘要： An apparatus for verifying a specification includes a use-case extracting unit, a first setting unit, an operation extracting unit, a second setting unit, and a determining unit. The use-case extracting unit extracts an unprocessed use case from specification data. The first setting unit sets a condition based on a precondition, a postcondition, and an invariant condition for the use case. The operation extracting unit selects an event flow of an unprocessed path from the specification data and extracts an unprocessed operation (description) from the event flow selected. The second setting unit sets a precondition and a postcondition for the operation based on the extracted operation (description). The determining unit determines whether the invariant condition is valid.
摘要翻译：用于验证规范的装置包括用例提取单元，第一设置单元，操作提取单元，第二设置单元和确定单元。用例提取单元从规范数据中提取未处理的用例。第一设置单元基于用例的前提条件，后置条件和不变条件设置条件。操作提取单元从指定数据中选择未处理路径的事件流，并从所选择的事件流中提取未处理的操作（描述）。第二设定单元基于提取的操作（描述）设置操作的前提条件和后置条件。确定单元确定不变条件是否有效。

3. 发明申请

US20090326906A1 VERIFICATION SUPPORT APPARATUS, VERIFICATION SUPPORT METHOD, AND COMPUTER PRODUCT 审中-公开
标题翻译：验证支持设备，验证支持方法和计算机产品
公开(公告)号：US20090326906A1
公开(公告)日：2009-12-31
申请号：US12372816
申请日：2009-02-18
申请人： Akio MATSUDA , Ryosuke Oishi , Qiang Zhu
发明人： Akio MATSUDA , Ryosuke Oishi , Qiang Zhu
IPC分类号： G06F9/44
CPC分类号： G06F11/3608
摘要： A computer-readable recording medium stores therein a verification support program that causes a computer to execute selecting arbitrarily a use case from a use case diagram for a verification target; extracting a precondition and a postcondition of the use case selected at the selecting; and converting, to a Kripke model, a finite state machine model corresponding to the use case selected at the selecting. The verification support program further causes the computer to execute specifying, based on the precondition and the postcondition extracted at the extracting, a Kripke initial state, a Kripke precondition, and a Kripke postcondition of the Kripke model obtained at the converting; and generating, based on the Kripke precondition and the Kripke postcondition specified at the specifying, a Kripke property of the use case selected at the selecting.
摘要翻译：计算机可读记录介质中存储有一个验证支持程序，该程序使计算机从用于验证目标的用例图中任意选择使用案例; 提取在选择中选择的用例的前提条件和后置条件; 并将Kripke模型转换成与选择时选择的用例对应的有限状态机模型。验证支持程序进一步使计算机根据在提取时提取的前提条件和后置条件执行指定，该转换时获得的Kripke模型的Kripke初始状态，Kripke前提条件和Kripke后置条件; 并根据指定的Kripke前提条件和Kripke后置条件生成在选择中选择的用例的Kripke属性。

4. 发明申请

US20070261012A1 Systematic generation of scenarios from specification sheet 有权
标题翻译：从规格表中系统地生成场景
公开(公告)号：US20070261012A1
公开(公告)日：2007-11-08
申请号：US11543025
申请日：2006-10-05
申请人： Akio Matsuda , Qiang Zhu , Ryosuke Oishi
发明人： Akio Matsuda , Qiang Zhu , Ryosuke Oishi
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： A method of generating a scenario includes generating a specification model by describing a specification in a predetermined descriptive language, extracting a plurality of operations from the specification model, generating a plurality of operation descriptions, each of which corresponds to one of the operations and includes an operation name and a constraint condition, generating at least one cause-effect graph that combines the operations based on the operation descriptions, and extracting as a scenario a series of operations from the cause-effect graph.
摘要翻译：一种产生场景的方法包括通过以预定描述语言描述规范来生成规范模型，从规范模型中提取多个操作，生成多个操作描述，每个操作描述对应于一个操作，并且包括操作名称和约束条件，生成组合基于操作描述的操作的至少一个因果图，并从因果图提取作为场景的一系列操作。

5. 发明授权

US07904843B2 Systematic generation of scenarios from specification sheet 有权
标题翻译：从规格表中系统地生成场景
公开(公告)号：US07904843B2
公开(公告)日：2011-03-08
申请号：US11543025
申请日：2006-10-05
申请人： Akio Matsuda , Qiang Zhu , Ryosuke Oishi
发明人： Akio Matsuda , Qiang Zhu , Ryosuke Oishi
IPC分类号： G06F17/50 , G06F9/45
CPC分类号： G06F17/504
摘要： A method of generating a scenario includes generating a specification model by describing a specification in a predetermined descriptive language, extracting a plurality of operations from the specification model, generating a plurality of operation descriptions, each of which corresponds to one of the operations and includes an operation name and a constraint condition, generating at least one cause-effect graph that combines the operations based on the operation descriptions, and extracting as a scenario a series of operations from the cause-effect graph.
摘要翻译：一种产生场景的方法包括通过以预定描述语言描述规范来生成规范模型，从规范模型中提取多个操作，生成多个操作描述，每个操作描述对应于一个操作，并且包括操作名称和约束条件，生成组合基于操作描述的操作的至少一个因果图，并从因果图提取作为场景的一系列操作。

6. 发明授权

US07788643B2 Method and apparatus for supporting verification of hardware and software, and computer product 有权
标题翻译：支持硬件和软件验证的方法和装置，以及计算机产品
公开(公告)号：US07788643B2
公开(公告)日：2010-08-31
申请号：US11213942
申请日：2005-08-30
申请人： Ryosuke Oishi , Qiang Zhu
发明人： Ryosuke Oishi , Qiang Zhu
IPC分类号： G06F9/44
CPC分类号： G06F11/3672 , G06F11/2273
摘要： An apparatus for supporting a verification for each of a plurality of functions of a target object, includes: a receiving unit that receives a use case diagram that includes a plurality of use cases each of which corresponding to each of the functions; an extracting unit that extracts a relation between the use cases from the use case diagram; and a setting unit that sets a priority of verification for each of the use cases based on the relation.
摘要翻译：一种用于支持目标对象的多个功能中的每一个的验证的装置，包括：接收单元，其接收包括与每个功能对应的多个使用情况的用例图; 提取单元，从用例图提取用例之间的关系; 以及设置单元，其基于该关系为每个用例设置验证的优先级。

7. 发明申请

US20060206760A1 Method and apparatus for supporting verification of hardware and software, and computer product 有权
标题翻译：支持硬件和软件验证的方法和装置，以及计算机产品
公开(公告)号：US20060206760A1
公开(公告)日：2006-09-14
申请号：US11213942
申请日：2005-08-30
申请人： Ryosuke Oishi , Qiang Zhu
发明人： Ryosuke Oishi , Qiang Zhu
IPC分类号： G06F11/00
CPC分类号： G06F11/3672 , G06F11/2273
摘要： An apparatus for supporting a verification for each of a plurality of functions of a target object, includes: a receiving unit that receives a use case diagram that includes a plurality of use cases each of which corresponding to each of the functions; an extracting unit that extracts a relation between the use cases from the use case diagram; and a setting unit that sets a priority of verification for each of the use cases based on the relation.
摘要翻译：一种用于支持目标对象的多个功能中的每一个的验证的装置，包括：接收单元，其接收包括与每个功能对应的多个使用情况的用例图; 提取单元，从用例图提取用例之间的关系; 以及设置单元，其基于该关系为每个用例设置验证的优先级。

8. 发明授权

US07752576B2 Design support apparatus, design support method, and computer product for designing function module from specification description 失效
标题翻译：设计支持设备，设计支持方法和计算机产品，用于从规范描述中设计功能模块
公开(公告)号：US07752576B2
公开(公告)日：2010-07-06
申请号：US11394390
申请日：2006-03-31
申请人： Qiang Zhu , Tsuneo Nakata
发明人： Qiang Zhu , Tsuneo Nakata
IPC分类号： G06F17/50
CPC分类号： G06F17/50 , G06F17/5045
摘要： An input unit inputs specification description that includes a plurality of pieces of processing information each indicative of a processing performed by a design object and association information indicative of associations among the processing information. A node generating unit generates a node for each of the processing information. A link generating unit generates, based on the association information, a link that couples nodes generated by the node generating unit. A sub-chart generating unit configured to generate a plurality of sub-charts by dividing a chart indicating a content of the specification description, based on the node and the link. A function-module generating unit generates, for each of the sub-charts, a function module that executes a function based on the processing information corresponding to the node in the sub-chart and the association information corresponding to the link in the sub-chart.
摘要翻译：输入单元输入包括指示由设计对象执行的处理的多个处理信息和指示处理信息之间的关联的关联信息的规范描述。节点生成单元为每个处理信息生成节点。链接生成单元基于关联信息生成将由节点生成单元生成的节点进行耦合的链接。子图生成部，其基于所述节点和所述链接，分割表示所述规格说明的内容的图来生成多个子图。功能模块生成单元针对每个子图生成基于与子图中的节点对应的处理信息和与子图中的链接对应的关联信息执行功能的功能模块。

9. 发明申请

US20060236289A1 Design support apparatus, design support method, and computer product 失效
标题翻译：设计支持设备，设计支持方式和计算机产品
公开(公告)号：US20060236289A1
公开(公告)日：2006-10-19
申请号：US11394390
申请日：2006-03-31
申请人： Qiang Zhu , Tsuneo Nakata
发明人： Qiang Zhu , Tsuneo Nakata
IPC分类号： G06F9/455 , G06F17/50
CPC分类号： G06F17/50 , G06F17/5045
摘要： An input unit inputs specification description that includes a plurality of pieces of processing information each indicative of a processing performed by a design object and association information indicative of associations among the processing information. A node generating unit generates a node for each of the processing information. A link generating unit generates, based on the association information, a link that couples nodes generated by the node generating unit. A sub-chart generating unit configured to generate a plurality of sub-charts by dividing a chart indicating a content of the specification description, based on the node and the link. A function-module generating unit generates, for each of the sub-charts, a function module that executes a function based on the processing information corresponding to the node in the sub-chart and the association information corresponding to the link in the sub-chart.
摘要翻译：输入单元输入包括指示由设计对象执行的处理的多个处理信息和指示处理信息之间的关联的关联信息的规范描述。节点生成单元为每个处理信息生成节点。链接生成单元基于关联信息生成将由节点生成单元生成的节点进行耦合的链接。子图生成部，其基于所述节点和所述链接，分割表示所述规格说明的内容的图来生成多个子图。功能模块生成单元针对每个子图生成基于与子图中的节点对应的处理信息和与子图中的链接对应的关联信息执行功能的功能模块。

10. 发明授权

US08079001B2 Verification of requirements specification, design specification, and computer-readable storage medium apparatus, and method thereof 有权
标题翻译：验证要求规范，设计规范和计算机可读存储介质，设备及其方法
公开(公告)号：US08079001B2
公开(公告)日：2011-12-13
申请号：US12136378
申请日：2008-06-10
申请人： Qiang Zhu , Hiroaki Iwashita , Koichiro Takayama , Tsuneo Nakata
发明人： Qiang Zhu , Hiroaki Iwashita , Koichiro Takayama , Tsuneo Nakata
IPC分类号： G06F17/50 , G06F9/455
CPC分类号： G06F8/10
摘要： Conditions necessary to be satisfied for execution of each use case from a use case description indicative of a requirements specification of the design object are acquired. Then a state satisfying the conditions, from among a set of states represented in a finite state machine model indicative of a design specification of the design object are detected. A presence or absence of an undetected state in the set of states in accordance with the detection is determined and output.
摘要翻译：获取从指示设计对象的要求规范的用例描述中执行每个用例所需要的条件。然后，检测从表示设计对象的设计规格的有限状态机模型中表示的一组状态中满足条件的状态。确定并输出根据检测的状态集合中的未检测状态的存在或不存在。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式