公开(公告)号：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.

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

公开(公告)号：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.

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

公开(公告)号：US20110071974A1

公开(公告)日：2011-03-24

申请号：US12888762

申请日：2010-09-23

申请人： Mikito Iwamasa

发明人： Mikito Iwamasa

IPC分类号： G06N5/02

CPC分类号： G06F17/504

摘要： According to one embodiment, a property extraction apparatus includes a state transition machine conversion unit, storage unit, state transition machine contraction unit, and property conversion unit. The state transition machine conversion unit converts an input property into a state transition machine configured by a plurality of transition functions expressed using a plurality of transition labels. The storage unit stores contraction rules that allow to remove a non-input transition. The state transition machine contraction unit contracts the state transition machine by converting a transition label corresponding to a signal to be ignored into a non-input transition in the state transition machine in accordance with contraction instruction information which represents the signal to be ignored, and rewriting the transition functions by applying the contraction rules that allow to remove the non-input transition. The property conversion unit which converts the state transition machine after the contraction processing into an output property.

摘要翻译： 根据一个实施例，属性提取装置包括状态转换机转换单元，存储单元，状态转换机收缩单元和属性转换单元。 状态转换机转换单元将输入属性转换为由使用多个转换标签表示的多个转换函数配置的状态转换机。 存储单元存储允许去除非输入转换的收缩规则。 状态转换机收缩单元根据表示要忽略的信号的收缩指示信息，将状态转移机器中的与被忽略的信号对应的转换标签转换为非输入转换来收缩状态转换机，并重写 通过应用允许去除非输入转换的收缩规则的过渡功能。 将收缩处理后的状态转移机转换为输出属性的属性转换部。

公开(公告)号：US5793933A

公开(公告)日：1998-08-11

申请号：US895997

申请日：1997-07-17

申请人： Mikito Iwamasa

发明人： Mikito Iwamasa

IPC分类号： G06F11/25 ,  G06F15/18

CPC分类号： G06F11/2257 ,  Y10S706/911

摘要： A computer-implemented system for helping to construct a model-based diagnostic system which allows a user to customize the model-based diagnostic system according to the nature of various diagnosis targets. Unit procedure data including the operation of the deducing unit 4, hypothesizing unit 5, and verification unit 6 is stored in the unit procedure data storage unit 13. When the user uses the customization unit 14 to select unit procedure data in a desired sequence, the customize unit 14 stores user-selected unit procedure data or data to identify the unit procedure data in the deductive procedure data storage unit 8, hypothesize procedure data storage unit 9, and verification procedure data storage unit 10, respectively. The deductive unit 4, hypothesize unit 5, and verification unit 6 each refer to procedure data during operation to know processing function names that are set.

摘要翻译： 一种用于帮助构建基于模型的诊断系统的计算机实现的系统，其允许用户根据各种诊断目标的性质来定制基于模型的诊断系统。 包括推导单元4，假设单元5和验证单元6的操作的单元程序数据被存储在单元过程数据存储单元13中。当用户使用定制单元14以期望的顺序选择单元过程数据时， 定制单元14存储用户选择的单元过程数据或数据，以分别标识演绎过程数据存储单元8中的单元过程数据，假设过程数据存储单元9和验证过程数据存储单元10。 演绎单元4，假设单元5和验证单元6各自参考操作期间的过程数据来知道设置的处理功能名称。

公开(公告)号：US07464365B2

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

申请号：US10059227

申请日：2002-01-31

申请人： Mikito Iwamasa ,  Tadatoshi Ishii

发明人： Mikito Iwamasa ,  Tadatoshi Ishii

IPC分类号： G06F9/44

CPC分类号： G06F17/5022 ,  G06F17/5045

摘要： A movability determining section checks the movability of an descriptive element comprised in a specification having a hierarchical structure. The descriptive element of which the movability is checked is moved in the hierarchical structure by a specification moving section. For the movement, a preparation is made as follows. The specification moving section, if necessary, moves a communication channel included in the descriptive element to make sure that a constraint with respect to the level to which the communication channel belongs is satisfied after the movement. After the preparation, the specification moving section moves a behavior included in the descriptive element upward/downward across levels in the hierarchical structure. A specification correcting section corrects the specification so as not to violate an execution order constraint.

摘要翻译： 移动性确定部检查包含在具有层次结构的规范中的描述元素的可移动性。 通过规格移动部分在层次结构中移动检查可移动性的描述元素。 对于运动，准备如下。 如果需要，规范移动部移动包括在描述元素中的通信信道，以确保在移动之后满足关于通信信道所属的级别的约束。 在准备之后，规范移动部分在分层结构中的级别上移动描述性元素中包括的行为向上/向下移动。 规范校正部分修正规范，以免违反执行顺序约束。

公开(公告)号：US06980941B2

公开(公告)日：2005-12-27

申请号：US10059204

申请日：2002-01-31

申请人： Mikito Iwamasa

发明人： Mikito Iwamasa

IPC分类号： G06F9/44 ,  G06F13/10 ,  G06F17/50

CPC分类号： G06F8/10

摘要： A system design support system is disclosed, which handles specifications at system level, e.g., a specification of software executed by a computer, specification of hardware implemented by combining semiconductor devices and the like, a specification of an incorporated system implemented by combining software and hardware, and a specification of a business process such as a workflow. This apparatus searches for an advertisement in accordance with an query specification. The apparatus also creates a communication procedure between the query specification and a specification of an advertisement part obtained by a search.

摘要翻译： 公开了一种系统设计支持系统，其处理系统级的规范，例如，由计算机执行的软件的规范，通过组合半导体器件等实现的硬件的规范，通过组合软件和硬件实现的并入系统的规范 以及诸如工作流之类的业务流程的规范。 该装置根据查询规范搜索广告。 该设备还创建了查​​询规范与通过搜索获得的广告部分的规范之间的通信过程。

公开(公告)号：US06857000B2

公开(公告)日：2005-02-15

申请号：US10294610

申请日：2002-11-15

申请人： Masakazu Hattori ,  Mikito Iwamasa

发明人： Masakazu Hattori ,  Mikito Iwamasa

IPC分类号： G06F7/00 ,  G06F17/00 ,  G06F17/30

CPC分类号： G06F17/30607 ,  Y10S707/99931 ,  Y10S707/99932 ,  Y10S707/99942 ,  Y10S707/99944 ,  Y10S707/99945

摘要： A data storage and retrieval system includes a data space area where a set of data belonging to a predetermined category and definition data describing definition of the structure and the presentation form of the data are stored, a data space retrieval section for retrieving data and definition data made to correspond to the data from the data space area, a data space operation section for rewriting the definition data made to correspond to the data retrieved by the retrieval section on the basis of another definition data stored in the data space area, and a display for displaying the data retrieved by the retrieval section on the basis of the definition data rewritten by the operation section.

摘要翻译： 数据存储和检索系统包括数据空间区域，其中存储属于预定类别的一组数据和描述结构的定义和数据的呈现形式的定义数据，用于检索数据和定义数据的数据空间检索部分 数据空间操作部分，用于根据存储在数据空间区域中的另一个定义数据重写与检索部分检索到的数据相对应的定义数据;以及显示器 用于基于由操作部分重写的定义数据显示由检索部分检索的数据。

公开(公告)号：US06539388B1

公开(公告)日：2003-03-25

申请号：US09176317

申请日：1998-10-22

申请人： Masakazu Hattori ,  Mikito Iwamasa

发明人： Masakazu Hattori ,  Mikito Iwamasa

IPC分类号： G06F1700

CPC分类号： G06F17/30607 ,  Y10S707/99931 ,  Y10S707/99932 ,  Y10S707/99942 ,  Y10S707/99944 ,  Y10S707/99945

摘要： A data storage and retrieval system includes a data space area where a set of data belonging to a predetermined category and definition data describing definition of the structure and the presentation form of the data are stored, a data space retrieval section for retrieving data and definition data made to correspond to the data from the data space area, a data space operation section for rewriting the definition data made to correspond to the data retrieved by the retrieval section on the basis of another definition data stored in the data space area, and a display for displaying the data retrieved by the retrieval section on the basis of the definition data rewritten by the operation section.

摘要翻译： 数据存储和检索系统包括数据空间区域，其中存储属于预定类别的一组数据和描述结构的定义和数据的呈现形式的定义数据，用于检索数据和定义数据的数据空间检索部分 数据空间操作部分，用于根据存储在数据空间区域中的另一个定义数据重写与检索部分检索到的数据相对应的定义数据;以及显示器 用于基于由操作部分重写的定义数据显示由检索部分检索的数据。

公开(公告)号：US08548936B2

公开(公告)日：2013-10-01

申请号：US12888762

申请日：2010-09-23

申请人： Mikito Iwamasa

发明人： Mikito Iwamasa

IPC分类号： G06N5/00

CPC分类号： G06F17/504

摘要： According to one embodiment, a property extraction apparatus includes a state transition machine conversion unit, storage unit, state transition machine contraction unit, and property conversion unit. The state transition machine conversion unit converts an input property into a state transition machine configured by a plurality of transition functions expressed using a plurality of transition labels. The storage unit stores contraction rules that allow to remove a non-input transition. The state transition machine contraction unit contracts the state transition machine by converting a transition label corresponding to a signal to be ignored into a non-input transition in the state transition machine in accordance with contraction instruction information which represents the signal to be ignored, and rewriting the transition functions by applying the contraction rules that allow to remove the non-input transition. The property conversion unit which converts the state transition machine after the contraction processing into an output property.

摘要翻译： 根据一个实施例，属性提取装置包括状态转换机转换单元，存储单元，状态转换机收缩单元和属性转换单元。 状态转换机转换单元将输入属性转换为由使用多个转换标签表示的多个转换函数配置的状态转换机。 存储单元存储允许去除非输入转换的收缩规则。 状态转换机收缩单元根据表示要忽略的信号的收缩指示信息，将状态转移机器中的与被忽略的信号对应的转换标签转换为非输入转换来收缩状态转换机，并重写 通过应用允许去除非输入转换的收缩规则的过渡功能。 将收缩处理后的状态转移机转换为输出属性的属性转换部。

公开(公告)号：US08495561B2

公开(公告)日：2013-07-23

申请号：US12612250

申请日：2009-11-04

申请人： Mikito Iwamasa

发明人： Mikito Iwamasa

IPC分类号： G06F9/44 ,  G06F17/50 ,  G06F7/00

CPC分类号： G06F11/3672 ,  G06F8/10 ,  G06F11/3696

摘要： As to a plurality of components in a system, a state transition path covering transitions defined by a behavioral specification of a component is specified to satisfy an input restriction of the component. Action sequences are acquired from the state transition path. By selecting a pair of components connected in the system, it is verified whether an output action sequence of a first component as one of the pair satisfies an input restriction of a second component as the other of the pair. If unsatisfied, the input restriction of the second component is relaxed to satisfy the output action sequence of the first component, or an input restriction of the first component is tightened to acquire a new output action sequence satisfying the input restriction of the second component. Above processing is repeated for each pair of components, so that output action sequences of one and the other of a pair satisfies input restrictions of the other and the one of the pair respectively.

摘要翻译： 对于系统中的多个组件，指定覆盖由组件的行为规范定义的转换的状态转换路径以满足组件的输入限制。 从状态转换路径获取动作序列。 通过选择在系统中连接的一对组件，验证作为一对之一的第一组件的输出动作序列是否满足作为该对中的另一个的第二组件的输入限制。 如果不满足，放宽第二分量的输入限制以满足第一分量的输出动作序列，或者紧缩第一分量的输入限制，以获得满足第二分量的输入限制的新输出动作序列。 对于每对组件重复上述处理，使得一对中的一个和另一个的输出动作序列分别满足另一对的输入限制和一对的输入限制。