公开(公告)号：US20130274949A1

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

申请号：US13448304

申请日：2012-04-16

申请人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

发明人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

IPC分类号： G05D1/00 ,  G05B11/01

CPC分类号： B60W50/04 ,  B60W2050/0006

摘要： The present disclosure generally relates to improvements in validating control specifications and more particularly pertains to a system and method to hierarchically validate graphically based executable logic control specifications. This method may include identifying, by a processor for hierarchically validating a graphically based logic control specification, a functional hierarchy of a first application of the control specification comprising a first feature. The method may include executing, by the processor, a specific first feature test case on the first feature to at least one of validate a structure of the first feature and validate that a specific functional requirement of the first feature is met.

摘要翻译： 本公开通常涉及对验证控制规范的改进，更具体地涉及用于分层验证基于图形的可执行逻辑控制规范的系统和方法。 该方法可以包括由处理器识别用于分层验证基于图形的逻辑控制规范，包括第一特征的控制规范的第一应用的功能层级。 该方法可以包括由处理器执行第一特征上的特定第一特征测试用例以验证第一特征的结构并验证第一特征的特定功能需求是否被满足中的至少一个。

公开(公告)号：US20140005856A1

公开(公告)日：2014-01-02

申请号：US13714255

申请日：2012-12-13

申请人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

发明人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

IPC分类号： G06F9/44

CPC分类号： G06F8/20 ,  G05B19/0426 ,  G05B2219/24034

摘要： A system and method to hierarchically validate graphically based executable logic control specifications. The method may include performing an open loop validation of a feature of a plurality of features in the control specification, performing an open loop validation of the functional hierarchy of an application of a plurality of applications in the graphically based logic control specification in response to completing successful validation of the plurality of features, performing a closed loop validation an ECU model of a plurality of ECUs modeled in the graphically based logic control specification in response to completing successful validation of the plurality of applications, and performing a closed loop validation of the plurality of ECUs modeled in response to completing successful validation of the ECU modeled.

摘要翻译： 一种用于分层验证基于图形的可执行逻辑控制规范的系统和方法。 该方法可以包括执行控制规范中的多个特征的特征的开环验证，响应于完成，在基于图形的逻辑控制规范中对多个应用的​​应用的功能层次进行开环验证 成功地验证多个特征，响应于完成多个应用程序的成功验证，执行在图形逻辑控制规范中建模的多个ECU的ECU模型的闭环验证，以及执行多个特征的闭环验证 的ECU模拟响应完成成功验证的ECU模型。

公开(公告)号：US08751093B2

公开(公告)日：2014-06-10

申请号：US13448304

申请日：2012-04-16

申请人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

发明人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

IPC分类号： G06F7/00

CPC分类号： B60W50/04 ,  B60W2050/0006

摘要： The present disclosure generally relates to improvements in validating control specifications and more particularly pertains to a system and method to hierarchically validate graphically based executable logic control specifications. This method may include identifying, by a processor for hierarchically validating a graphically based logic control specification, a functional hierarchy of a first application of the control specification comprising a first feature. The method may include executing, by the processor, a specific first feature test case on the first feature to at least one of validate a structure of the first feature and validate that a specific functional requirement of the first feature is met.

摘要翻译： 本公开通常涉及对验证控制规范的改进，更具体地涉及用于分层验证基于图形的可执行逻辑控制规范的系统和方法。 该方法可以包括由处理器识别用于分层验证基于图形的逻辑控制规范，包括第一特征的控制规范的第一应用的功能层级。 该方法可以包括由处理器执行第一特征上的特定第一特征测试用例以验证第一特征的结构并验证第一特征的特定功能需求是否被满足中的至少一个。

公开(公告)号：US08751094B2

公开(公告)日：2014-06-10

申请号：US13714255

申请日：2012-12-13

申请人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

发明人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

IPC分类号： G06F7/00

CPC分类号： G06F8/20 ,  G05B19/0426 ,  G05B2219/24034

摘要： A system and method to hierarchically validate graphically based executable logic control specifications. The method may include performing an open loop validation of a feature of a plurality of features in the control specification, performing an open loop validation of the functional hierarchy of an application of a plurality of applications in the graphically based logic control specification in response to completing successful validation of the plurality of features, performing a closed loop validation an ECU model of a plurality of ECUs modeled in the graphically based logic control specification in response to completing successful validation of the plurality of applications, and performing a closed loop validation of the plurality of ECUs modeled in response to completing successful validation of the ECU modeled.

摘要翻译： 一种用于分层验证基于图形的可执行逻辑控制规范的系统和方法。 该方法可以包括执行控制规范中的多个特征的特征的开环验证，响应于完成，在基于图形的逻辑控制规范中对多个应用的​​应用的功能层次进行开环验证 成功地验证多个特征，响应于完成多个应用程序的成功验证，执行在图形逻辑控制规范中建模的多个ECU的ECU模型的闭环验证，以及执行多个特征的闭环验证 的ECU模拟响应完成成功验证的ECU模型。

公开(公告)号：US08027764B2

公开(公告)日：2011-09-27

申请号：US12276228

申请日：2008-11-21

申请人： Lihua Xu ,  Hakan Yazarel ,  Noriyasu Adachi

发明人： Lihua Xu ,  Hakan Yazarel ,  Noriyasu Adachi

IPC分类号： G06F11/00 ,  G06F19/00

CPC分类号： G06F11/3684

摘要： The present invention relates to a method and system for automatic test data generation for lookup tables. In one embodiment, the present invention is a method for generating test data for an automotive lookup table including the steps of dividing the automotive lookup table into categories, generating a list of assertions corresponding in a one-to-one relationship with the categories such that each of the categories has an assertion corresponding to it, generating an execution trace for each assertion using a constraint solver, and generating test data for each execution trace.

摘要翻译： 本发明涉及用于查找表的自动测试数据生成的方法和系统。 在一个实施例中，本发明是一种用于生成用于汽车查找表的测试数据的方法，包括以下步骤：将汽车查找表划分成类别，生成与所述类别成一一对应的对应的断言列表，使得 每个类别都具有对应的断言，使用约束求解器为每个断言生成执行跟踪，并为每个执行跟踪生成测试数据。

公开(公告)号：US20100131143A1

公开(公告)日：2010-05-27

申请号：US12276228

申请日：2008-11-21

申请人： Lihua Xu ,  Hakan Yazarel ,  Noriyasu Adachi

发明人： Lihua Xu ,  Hakan Yazarel ,  Noriyasu Adachi

IPC分类号： G06F11/36 ,  G06F19/00 ,  G06N5/02 ,  G06F11/00

CPC分类号： G06F11/3684

摘要： The present invention relates to a method and system for automatic test data generation for lookup tables. In one embodiment, the present invention is a method for generating test data for an automotive lookup table including the steps of dividing the automotive lookup table into categories, generating a list of assertions corresponding in a one-to-one relationship with the categories such that each of the categories has an assertion corresponding to it, generating an execution trace for each assertion using a constraint solver, and generating test data for each execution trace.

摘要翻译： 本发明涉及用于查找表的自动测试数据生成的方法和系统。 在一个实施例中，本发明是一种用于生成用于汽车查找表的测试数据的方法，包括以下步骤：将汽车查找表划分成类别，生成与所述类别成一一对应的对应的断言列表，使得 每个类别都具有对应的断言，使用约束求解器为每个断言生成执行跟踪，并为每个执行跟踪生成测试数据。