公开(公告)号：US20130238541A1

公开(公告)日：2013-09-12

申请号：US13670975

申请日：2012-11-07

申请人： Yusuke ENDOH ,  Hiromasa Shin ,  Yoshiaki Hasegawa

发明人： Yusuke ENDOH ,  Hiromasa Shin ,  Yoshiaki Hasegawa

IPC分类号： G06N5/02

CPC分类号： G06N5/022 ,  G06F17/30241 ,  G06T17/30 ,  G06T2210/21

摘要： According to one embodiment, an object retrieval apparatus includes a query acceptance unit and a collision decision unit. The query acceptance unit is configured to accept a retrieval query indicating (N-1)-dimensional surface in N-dimensional space (N is an integral number larger than or equal to three). The collision decision unit is configured to decide whether the (N−1)-dimensional surface intersects N-dimensional cuboid positioned in the N-dimensional space. The collision decision unit decides by using a plurality of decision functions. The plurality of decision functions includes zero-th˜(N−1)-th decision functions to decide whether at least a part of at least one of X-dimensional face (X is all integral numbers larger than or equal to zero, and smaller than or equal to (N−1)) of the N-dimensional cuboid is included in the (N−1)-dimensional surface.

摘要翻译： 根据一个实施例，对象检索装置包括查询接受单元和冲突判定单元。 查询接收单元被配置为接受在N维空间中指示（N-1）维表面的检索查询（N是大于或等于3的整数）。 碰撞判定单元被配置为确定（N-1）维表面是否与位于N维空间中的N维立方体相交。 碰撞判定单元通过使用多个判定函数来决定。 所述多个判定函数包括第0〜第（N-1）决定函数，以决定X维面（X）中的至少一部分是否大于或等于零，小于等于零的整数 （N-1））N（N-1））的N（N-1）维）包括在（N-1）维表面中。

公开(公告)号：US08578308B2

公开(公告)日：2013-11-05

申请号：US12163486

申请日：2008-06-27

申请人： Yusuke Endoh ,  Takeo Imai ,  Hideji Kawata ,  Noritaka Kawakatsu

发明人： Yusuke Endoh ,  Takeo Imai ,  Hideji Kawata ,  Noritaka Kawakatsu

IPC分类号： G06F17/50 ,  G06F17/10

CPC分类号： G06F17/5022 ,  G06F17/5031 ,  G06F17/504

摘要： A variable is allocated to a statement that designates an event associated with a function call in an assertion. Generation of the event at an arbitrary time on a continuous time series is detected, and a value corresponding to a meaning of the statement is assigned to the variable. Whether or not a condition corresponding to the meaning of the statement is satisfied is determined based on the value of the variable at each time on a discrete time series.

摘要翻译： 一个变量被分配给一个语句，该语句指定与断言中的函数调用相关联的事件。 检测在连续时间序列上的任意时间生成事件，并将与该语句的含义对应的值分配给该变量。 基于每个离散时间序列上的变量的值来确定与语句的含义相对应的条件是否被确定。

公开(公告)号：US20100083214A1

公开(公告)日：2010-04-01

申请号：US12554351

申请日：2009-09-04

申请人： Yusuke Endoh

发明人： Yusuke Endoh

IPC分类号： G06F9/44

CPC分类号： G06F8/423

摘要： There is provided with a device that includes a first inputter inputting design description which includes functions; a second inputter inputting type specifying description corresponding to the functions, each of which specifies a type for a return value of each corresponding function, and the description of at least one function of the functions specifies a type for a return value of a first function which is an other function of functions; a determiner determining a type of the return value of the first function to a comprehensive type to comprehend the types specified by the type specifying description corresponding to the first function and the at least one function and a type of the return value of a second function which is a function than the first function to the type specified thereto.

摘要翻译： 设置有包括第一输入器输入包括功能的设计描述的设备; 第二输入器输入类型指定描述对应于功能，每个功能指定每个对应功能的返回值的类型，并且功能的至少一个功能的描述指定第一功能的返回值的类型， 是功能的其他功能; 确定器，将第一功能的返回值的类型确定为综合类型，以理解由对应于第一功能和至少一个功能的类型指定描述指定的类型以及第二功能的返回值的类型， 是与指定的类型的第一个函数相比的函数。

公开(公告)号：US20090019406A1

公开(公告)日：2009-01-15

申请号：US12163486

申请日：2008-06-27

申请人： Yusuke Endoh ,  Takeo Imai ,  Hideji Kawata ,  Noritaka Kawakatsu

发明人： Yusuke Endoh ,  Takeo Imai ,  Hideji Kawata ,  Noritaka Kawakatsu

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G06F17/5031 ,  G06F17/504

摘要： A variable is allocated to a statement that designates an event associated with a function call in an assertion. Generation of the event at an arbitrary time on a continuous time series is detected, and a value corresponding to a meaning of the statement is assigned to the variable. Whether or not a condition corresponding to the meaning of the statement is satisfied is determined based on the value of the variable at each time on a discrete time series.

摘要翻译： 一个变量被分配给一个语句，该语句指定与断言中的函数调用相关联的事件。 检测在连续时间序列上的任意时间生成事件，并将与该语句的含义对应的值分配给该变量。 基于每个离散时间序列上的变量的值来确定与语句的含义相对应的条件是否被确定。

公开(公告)号：US09262717B2

公开(公告)日：2016-02-16

申请号：US13670975

申请日：2012-11-07

申请人： Yusuke Endoh ,  Hiromasa Shin ,  Yoshiaki Hasegawa

发明人： Yusuke Endoh ,  Hiromasa Shin ,  Yoshiaki Hasegawa

IPC分类号： G06N5/02 ,  G06F17/30 ,  G06T17/30

CPC分类号： G06N5/022 ,  G06F17/30241 ,  G06T17/30 ,  G06T2210/21

摘要： According to one embodiment, an object retrieval apparatus includes a query acceptance unit and a collision decision unit. The query acceptance unit is configured to accept a retrieval query indicating (N−1)-dimensional surface in N-dimensional space (N is an integral number larger than or equal to three). The collision decision unit is configured to decide whether the (N−1)-dimensional surface intersects N-dimensional cuboid positioned in the N-dimensional space. The collision decision unit decides by using a plurality of decision functions. The plurality of decision functions includes zero-th˜(N−1)-th decision functions to decide whether at least a part of at least one of X-dimensional face (X is all integral numbers larger than or equal to zero, and smaller than or equal to (N−1)) of the N-dimensional cuboid is included in the (N−1)-dimensional surface.

摘要翻译： 根据一个实施例，对象检索装置包括查询接受单元和冲突判定单元。 查询接收单元被配置为接受在N维空间中指示（N-1）维表面的检索查询（N是大于或等于3的整数）。 碰撞判定单元被配置为确定（N-1）维表面是否与位于N维空间中的N维立方体相交。 碰撞判定单元通过使用多个判定函数来决定。 所述多个判定函数包括第零（N-1）个决定函数，以决定X维面（X）中的至少一部分是否大于或等于零，小于等于零的整数 （N-1））N（N-1））的N（N-1）维）包括在（N-1）维表面中。

公开(公告)号：US08370808B2

公开(公告)日：2013-02-05

申请号：US12724096

申请日：2010-03-15

申请人： Akinori Ohta ,  Hiromasa Shin ,  Mikito Iwamasa ,  Yusuke Endoh

发明人： Akinori Ohta ,  Hiromasa Shin ,  Mikito Iwamasa ,  Yusuke Endoh

IPC分类号： G06F9/44 ,  G06F11/00

CPC分类号： G06F11/3684

摘要： A state-transition system includes a plurality of states and a first transition representing a state-change based on an external event occurred into a system to be checked. A plurality of requirement items includes a precondition and a postcondition in correspondence with the external event. By partially selecting the precondition and the postcondition from the plurality of requirement items, a state map to map a state onto truth values of the precondition and the postcondition is generated. By contracting the state-transition system with the state map, a quotient state-transition system is generated. The quotient state-transition system includes a plurality of second transitions among a plurality of groups each having states. By tracing each second transition in the quotient state-transition system, a representative transition path is generated. The representative transition path is regenerated as a transition path in the state-transition system. The transition path is output as a test case.

摘要翻译： 状态转换系统包括多个状态和表示基于发生在待检查系统中的外部事件的状态变化的第一转移。 多个需求项目包括与外部事件相对应的前提条件和后置条件。 通过从多个需求项目部分选择前提条件和后置条件，生成将状态映射到前提条件和后置条件的真值的状态图。 通过将状态转换系统与状态映射签约，生成商状态转换系统。 商状态转换系统包括多个具有状态的组中的多个第二转换。 通过跟踪商状态转换系统中的每个第二过渡，生成代表性的过渡路径。 代表性的过渡路径在状态转换系统中被重新生成为过渡路径。 过渡路径作为测试用例输出。

公开(公告)号：US08037002B2

公开(公告)日：2011-10-11

申请号：US12054610

申请日：2008-03-25

申请人： Takeo Imai ,  Yusuke Endoh

发明人： Takeo Imai ,  Yusuke Endoh

IPC分类号： G06F17/00 ,  G06N5/02

CPC分类号： G06N5/02 ,  G01R31/318364 ,  G06F17/504

摘要： A design automaton extractor extracts a design automaton from design description data, and a property automaton extractor extracts a property automaton from property description data corresponding to the design description data. A matched state detector counts all states of the design automaton, detects matched states matching the property automaton from all the states of the design automaton, and counts the matched states. A coverage calculator obtains a ratio of the number of matched states to the number of all the states of the design automaton, thereby calculating a coverage representing the degree of correspondence of the property description data to the design description data.

摘要翻译： 设计自动机提取器从设计描述数据中提取设计自动机，属性自动提取器根据与设计描述数据对应的属性描述数据提取属性自动机。 匹配状态检测器对设计自动机的所有状态进行计数，从设计自动机的所有状态检测与属性自动机匹配的匹配状态，并对匹配状态进行计数。 覆盖计算器获得匹配状态数与设计自动机的所有状态数的比率，由此计算表示属性描述数据与设计描述数据的对应程度的覆盖。

公开(公告)号：US08527919B2

公开(公告)日：2013-09-03

申请号：US12554351

申请日：2009-09-04

申请人： Yusuke Endoh

发明人： Yusuke Endoh

IPC分类号： G06F17/50

CPC分类号： G06F8/423

摘要： There is provided with a device that includes a first inputter inputting design description which includes functions; a second inputter inputting type specifying description corresponding to the functions, each of which specifies a type for a return value of each corresponding function, and the description of at least one function of the functions specifies a type for a return value of a first function which is an other function of functions; a determiner determining a type of the return value of the first function to a comprehensive type to comprehend the types specified by the type specifying description corresponding to the first function and the at least one function and a type of the return value of a second function which is a function than the first function to the type specified thereto.

摘要翻译： 设置有包括第一输入器输入包括功能的设计描述的装置; 第二输入器输入类型指定描述对应于功能，每个功能指定每个对应功能的返回值的类型，并且功能的至少一个功能的描述指定第一功能的返回值的类型， 是功能的其他功能; 确定器，将第一功能的返回值的类型确定为综合类型，以理解由对应于第一功能和至少一个功能的类型指定描述指定的类型以及第二功能的返回值的类型， 是与指定的类型的第一个函数相比的函数。

公开(公告)号：US20100235814A1

公开(公告)日：2010-09-16

申请号：US12724096

申请日：2010-03-15

申请人： Akinori OHTA ,  Hiromasa Shin ,  Mikito Iwamasa ,  Yusuke Endoh

发明人： Akinori OHTA ,  Hiromasa Shin ,  Mikito Iwamasa ,  Yusuke Endoh

IPC分类号： G06F9/44

CPC分类号： G06F11/3684

摘要： A state-transition system includes a plurality of states and a first transition representing a state-change based on an external event occurred into a system to be checked. A plurality of requirement items includes a precondition and a postcondition in correspondence with the external event. By partially selecting the precondition and the postcondition from the plurality of requirement items, a state map to map a state onto truth values of the precondition and the postcondition is generated. By contracting the state-transition system with the state map, a quotient state-transition system is generated. The quotient state-transition system includes a plurality of second transitions among a plurality of groups each having states. By tracing each second transition in the quotient state-transition system, a representative transition path is generated. The representative transition path is regenerated as a transition path in the state-transition system. The transition path is output as a test case.

摘要翻译： 状态转换系统包括多个状态和表示基于发生在待检查系统中的外部事件的状态变化的第一转移。 多个需求项目包括与外部事件相对应的前提条件和后置条件。 通过从多个需求项目部分选择前提条件和后置条件，生成将状态映射到前提条件和后置条件的真值的状态图。 通过将状态转换系统与状态映射签约，生成商状态转换系统。 商状态转换系统包括多个具有状态的组中的多个第二转换。 通过跟踪商状态转换系统中的每个第二过渡，生成代表性的过渡路径。 代表性的过渡路径在状态转换系统中被重新生成为过渡路径。 过渡路径作为测试用例输出。

公开(公告)号：US20080243747A1

公开(公告)日：2008-10-02

申请号：US12054610

申请日：2008-03-25

申请人： Takeo Imai ,  Yusuke Endoh

发明人： Takeo Imai ,  Yusuke Endoh

IPC分类号： G06N5/02

CPC分类号： G06N5/02 ,  G01R31/318364 ,  G06F17/504

摘要： A design automaton extractor extracts a design automaton from design description data, and a property automaton extractor extracts a property automaton from property description data corresponding to the design description data. A matched state detector counts all states of the design automaton, detects matched states matching the property automaton from all the states of the design automaton, and counts the matched states. A coverage calculator obtains a ratio of the number of matched states to the number of all the states of the design automaton, thereby calculating a coverage representing the degree of correspondence of the property description data to the design description data.

摘要翻译： 设计自动机提取器从设计描述数据中提取设计自动机，属性自动提取器根据与设计描述数据对应的属性描述数据提取属性自动机。 匹配状态检测器对设计自动机的所有状态进行计数，从设计自动机的所有状态检测与属性自动机匹配的匹配状态，并对匹配状态进行计数。 覆盖计算器获得匹配状态数与设计自动机的所有状态数的比率，由此计算表示属性描述数据与设计描述数据的对应程度的覆盖。