公开(公告)号：US20090287963A1

公开(公告)日：2009-11-19

申请号：US12136146

申请日：2008-06-10

申请人： David Oglesby ,  Kirk Schloegel ,  Devesh Bhatt ,  Stephen O. Hickman

发明人： David Oglesby ,  Kirk Schloegel ,  Devesh Bhatt ,  Stephen O. Hickman

IPC分类号： G06F11/36 ,  G06F17/30

CPC分类号： G06F11/3684

摘要： An apparatus and methods for generating a plurality of output test vectors from a statechart are provided. The statechart may specify requirements of a system function to be executed by a system-performing device. The statechart comprises a plurality of states, a plurality of transitions, and a plurality of variables. A forward-propagation pass through the statechart may be performed to generate a plurality of forward-reached-transition environments. A backward-propagation pass through the statechart may be performed to generate a plurality of backward-reached-transition environments. The plurality of output test vectors is generated from the plurality of forward-reached-transition environments and/or the plurality of backward-reached-transition environments. A test driver may execute a plurality of tests on the system-performing device, wherein the plurality of tests are based on the plurality of output test vectors.

摘要翻译： 提供了一种用于从状态图生成多个输出测试向量的装置和方法。 状态图可以指定由系统执行设备执行的系统功能的要求。 状态图包括多个状态，多个转换和多个变量。 可以执行正向传播通过状态图的过程以产生多个向前到达转变环境。 可以执行反向传播通过状态图，以产生多个后向到达转变环境。 从多个前进到达转变环境和/或多个后向到达转变环境生成多个输出测试向量。 测试驱动器可以在系统执行设备上执行多个测试，其中多个测试基于多个输出测试向量。

公开(公告)号：US08307342B2

公开(公告)日：2012-11-06

申请号：US12136146

申请日：2008-06-10

申请人： David Oglesby ,  Kirk Schloegel ,  Devesh Bhatt ,  Stephen O. Hickman

发明人： David Oglesby ,  Kirk Schloegel ,  Devesh Bhatt ,  Stephen O. Hickman

IPC分类号： G06F9/44

CPC分类号： G06F11/3684

摘要： An apparatus and methods for generating a plurality of output test vectors from a statechart are provided. The statechart may specify requirements of a system function to be executed by a system-performing device. The statechart comprises a plurality of states, a plurality of transitions, and a plurality of variables. A forward-propagation pass through the statechart may be performed to generate a plurality of forward-reached-transition environments. A backward-propagation pass through the statechart may be performed to generate a plurality of backward-reached-transition environments. The plurality of output test vectors is generated from the plurality of forward-reached-transition environments and/or the plurality of backward-reached-transition environments. A test driver may execute a plurality of tests on the system-performing device, wherein the plurality of tests are based on the plurality of output test vectors.

摘要翻译： 提供了一种用于从状态图生成多个输出测试向量的装置和方法。 状态图可以指定由系统执行设备执行的系统功能的要求。 状态图包括多个状态，多个转换和多个变量。 可以执行正向传播通过状态图的过程以产生多个向前到达转变环境。 可以执行反向传播通过状态图，以产生多个后向到达转变环境。 从多个前进到达转变环境和/或多个后向到达转变环境生成多个输出测试向量。 测试驱动器可以在系统执行设备上执行多个测试，其中多个测试基于多个输出测试向量。

公开(公告)号：US08423879B2

公开(公告)日：2013-04-16

申请号：US12247882

申请日：2008-10-08

申请人： Devesh Bhatt ,  Kirk Schloegel ,  Stephen O Hickman ,  David Oglesby

发明人： Devesh Bhatt ,  Kirk Schloegel ,  Stephen O Hickman ,  David Oglesby

IPC分类号： G06F7/02

CPC分类号： G06F11/3684

摘要： A test generator and methods for generating tests from a hybrid diagram are provided. A hybrid diagram is a diagram that primarily uses one higher-level semantic notation with portions utilizing one or more secondary higher-level semantic notations. Example higher-level semantic notations are statechart notation and data-flow notation. A test generator processes the hybrid diagram without reducing the higher-level semantic constructs to lower-level semantic constructs. The test generator generates test-generation templates as needed based on the higher-level semantic model used in the diagram. The test generator uses the test-generation templates to generate tests for a system-performing device specified by the diagram. The generated tests may be executed automatically by a test driver or manually by a human tester.

摘要翻译： 提供了一种用于从混合图生成测试的测试发生器和方法。 混合图是主要使用一个更高级语义符号与利用一个或多个次级更高级语义符号的部分的图。 示例性的高级语义符号是状态图符号和数据流符号。 测试发生器处理混合图，而不会将较高级语义结构降低到较低级语义结构。 测试生成器基于图中使用的更高级语义模型根据需要生成测试生成模板。 测试生成器使用测试生成模板来生成由图表指定的系统执行设备的测试。 生成的测试可以由测试驱动程序自动执行，或由人类测试人员手动执行。

公开(公告)号：US20090287958A1

公开(公告)日：2009-11-19

申请号：US12247882

申请日：2008-10-08

申请人： Devesh Bhatt ,  Kirk Schloegel ,  Stephen O. Hickman ,  David Oglesby

发明人： Devesh Bhatt ,  Kirk Schloegel ,  Stephen O. Hickman ,  David Oglesby

IPC分类号： G06F11/36

CPC分类号： G06F11/3684

摘要： A test generator and methods for generating tests from a hybrid diagram are provided. A hybrid diagram is a diagram that primarily uses one higher-level semantic notation with portions utilizing one or more secondary higher-level semantic notations. Example higher-level semantic notations are statechart notation and data-flow notation. A test generator processes the hybrid diagram without reducing the higher-level semantic constructs to lower-level semantic constructs. The test generator generates test-generation templates as needed based on the higher-level semantic model used in the diagram. The test generator uses the test-generation templates to generate tests for a system-performing device specified by the diagram. The generated tests may be executed automatically by a test driver or manually by a human tester.

摘要翻译： 提供了一种用于从混合图生成测试的测试发生器和方法。 混合图是主要使用一个更高级语义符号与利用一个或多个次级更高级语义符号的部分的图。 示例性的高级语义符号是状态图符号和数据流符号。 测试发生器处理混合图，而不会将较高级语义结构降低到较低级语义结构。 测试生成器基于图中使用的更高级语义模型根据需要生成测试生成模板。 测试生成器使用测试生成模板来生成由图表指定的系统执行设备的测试。 生成的测试可以由测试驱动程序自动执行，或由人类测试人员手动执行。

公开(公告)号：US20120210173A1

公开(公告)日：2012-08-16

申请号：US13167983

申请日：2011-06-24

申请人： Kirk Schloegel ,  Devesh Bhatt ,  David V. Oglesby ,  Gabor Madl

发明人： Kirk Schloegel ,  Devesh Bhatt ,  David V. Oglesby ,  Gabor Madl

IPC分类号： G06F11/07

CPC分类号： G06F11/3608 ,  G06F17/504

摘要： Embodiments of the present subject matter can enable the analysis of signal value errors for system models. In an example, signal value errors can be propagated through the functional blocks of a system model to analyze possible effects as the signal value errors impact incident functional blocks. This propagation of the errors can be applicable to many models of computation including avionics models, synchronous data flow, and Kahn process networks.

摘要翻译： 本主题的实施例可以使得能够分析系统模型的信号值误差。 在一个例子中，信号值误差可以通过系统模型的功能块传播，以便在信号值误差影响入射功能块时分析可能​​的影响。 这种错误的传播可以适用于许多计算模型，包括航空电子模型，同步数据流和卡恩过程网络。

公开(公告)号：US08984343B2

公开(公告)日：2015-03-17

申请号：US13167983

申请日：2011-06-24

申请人： Kirk Schloegel ,  Devesh Bhatt ,  David V. Oglesby ,  Gabor Madl

发明人： Kirk Schloegel ,  Devesh Bhatt ,  David V. Oglesby ,  Gabor Madl

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

CPC分类号： G06F11/3608 ,  G06F17/504

摘要： Embodiments of the present subject matter can enable the analysis of signal value errors for system models. In an example, signal value errors can be propagated through the functional blocks of a system model to analyze possible effects as the signal value errors impact incident functional blocks. This propagation of the errors can be applicable to many models of computation including avionics models, synchronous data flow, and Kahn process networks.

摘要翻译： 本主题的实施例可以使得能够分析系统模型的信号值误差。 在一个例子中，信号值误差可以通过系统模型的功能块传播，以便在信号值误差影响入射功能块时分析可能​​的影响。 这种错误的传播可以适用于许多计算模型，包括航空电子模型，同步数据流和卡恩过程网络。

公开(公告)号：US20120060145A1

公开(公告)日：2012-03-08

申请号：US12874731

申请日：2010-09-02

申请人： Kirk Schloegel ,  Devesh Bhatt

发明人： Kirk Schloegel ,  Devesh Bhatt

IPC分类号： G06F9/44

CPC分类号： G06F8/451

摘要： A code generation system comprises a model analyzer configured to identify data dependencies in a data flow diagram that describes functional behavior of an application, wherein the model analyzer is further configured to compute a data and computation map based on the data dependencies and to compute one or more implementation constraints; a model partitioner configured to compute one or more partition boundaries based on the data and computation map and the one or more implementation constraints; and a code generator configured to generate parallelized code based on the data flow diagram, the one or more implementation constraints, and the one or more partition boundaries, wherein the code generator is configured to map the code corresponding to each partition defined by the one or more partition boundaries to one of a plurality of cores of a multi-core processor, and to generate inter-core communication code for at least one line of the data and computation map crossed by the one or more partition boundaries.

摘要翻译： 代码生成系统包括模型分析器，其被配置为识别描述应用的功能行为的数据流程图中的数据依赖性，其中所述模型分析器还被配置为基于所述数据依赖性来计算数据和计算图，并且计算一个或 更多的实施约束; 模型分割器，其被配置为基于所述数据和计算图以及所述一个或多个实现约束来计算一个或多个分区边界; 以及代码生成器，被配置为基于所述数据流程图，所述一个或多个实施约束以及所述一个或多个分区边界来生成并行化代码，其中所述代码生成器被配置为映射与由所述一个或多个 更多的分区边界到多核处理器的多个核心之一，并且生成用于由一个或多个分区边界穿过的数据和计算图的至少一行的核心间通信代​​码。

公开(公告)号：US08984488B2

公开(公告)日：2015-03-17

申请号：US13006750

申请日：2011-01-14

申请人： Devesh Bhatt ,  Steve Hickman ,  Manish Patodi ,  David V. Oglesby ,  Kirk Schloegel

发明人： Devesh Bhatt ,  Steve Hickman ,  Manish Patodi ,  David V. Oglesby ,  Kirk Schloegel

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

CPC分类号： G06F11/3684 ,  G06F11/3604

摘要： Systems and methods for type and range propagation through data flow models are provided. In one embodiment, a test generating system for processing data flow diagrams, the system comprises: a processor programmed to perform a test generation process; and at least one memory device coupled to the processor, the at least one memory device including a data flow diagram. The test generation process computes range information and data type information for outputs of one or more functional blocks defined by the data flow diagram by applying transformations to input range information for inputs of each of the one or more functional blocks. The transformations are at least in part performed by applying specific mathematical and functional effects that are pre-defined for each of the one or more functional blocks based on block type.

摘要翻译： 提供了通过数据流模型进行类型和范围传播的系统和方法。 在一个实施例中，一种用于处理数据流程图的测试生成系统，该系统包括：被编程为执行测试生成过程的处理器; 以及耦合到所述处理器的至少一个存储器设备，所述至少一个存储器设备包括数据流程图。 测试生成处理通过对一个或多个功能块中的每一个的输入的输入范围信息应用转换来计算由数据流程图定义的一个或多个功能块的输出的范围信息和数据类型信息。 至少部分地通过应用基于块类型为一个或多个功能块中的每一个预定义的特定数学和功能效应来执行变换。

公开(公告)号：US08661424B2

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

申请号：US12874731

申请日：2010-09-02

申请人： Kirk Schloegel ,  Devesh Bhatt

发明人： Kirk Schloegel ,  Devesh Bhatt

IPC分类号： G06F9/45

CPC分类号： G06F8/451

摘要： A code generation system comprises a model analyzer configured to identify data dependencies in a data flow diagram that describes functional behavior of an application, wherein the model analyzer is further configured to compute a data and computation map based on the data dependencies and to compute one or more implementation constraints; a model partitioner configured to compute one or more partition boundaries based on the data and computation map and the one or more implementation constraints; and a code generator configured to generate parallelized code based on the data flow diagram, the one or more implementation constraints, and the one or more partition boundaries, wherein the code generator is configured to map the code corresponding to each partition defined by the one or more partition boundaries to one of a plurality of cores of a multi-core processor, and to generate inter-core communication code for at least one line of the data and computation map crossed by the one or more partition boundaries.

摘要翻译： 代码生成系统包括模型分析器，其被配置为识别描述应用的功能行为的数据流程图中的数据依赖性，其中所述模型分析器还被配置为基于所述数据依赖性来计算数据和计算图，并且计算一个或 更多的实施约束; 模型分割器，其被配置为基于所述数据和计算图以及所述一个或多个实现约束来计算一个或多个分区边界; 以及代码生成器，被配置为基于所述数据流程图，所述一个或多个实施约束以及所述一个或多个分区边界来生成并行化代码，其中所述代码生成器被配置为映射与由所述一个或多个 更多的分区边界到多核处理器的多个核心之一，并且生成用于由一个或多个分区边界穿过的数据和计算图的至少一行的核心间通信代​​码。

公开(公告)号：US20120185729A1

公开(公告)日：2012-07-19

申请号：US13006750

申请日：2011-01-14

申请人： Devesh Bhatt ,  Steve Hickman ,  Manish Patodi ,  David V. Oglesby ,  Kirk Schloegel

发明人： Devesh Bhatt ,  Steve Hickman ,  Manish Patodi ,  David V. Oglesby ,  Kirk Schloegel

IPC分类号： G06F11/263 ,  G06F11/07

CPC分类号： G06F11/3684 ,  G06F11/3604

摘要： Systems and methods for type and range propagation through data flow models are provided. In one embodiment, a test generating system for processing data flow diagrams, the system comprises: a processor programmed to perform a test generation process; and at least one memory device coupled to the processor, the at least one memory device including a data flow diagram. The test generation process computes range information and data type information for outputs of one or more functional blocks defined by the data flow diagram by applying transformations to input range information for inputs of each of the one or more functional blocks. The transformations are at least in part performed by applying specific mathematical and functional effects that are pre-defined for each of the one or more functional blocks based on block type.

摘要翻译： 提供了通过数据流模型进行类型和范围传播的系统和方法。 在一个实施例中，一种用于处理数据流程图的测试生成系统，该系统包括：被编程为执行测试生成过程的处理器; 以及耦合到所述处理器的至少一个存储器设备，所述至少一个存储器设备包括数据流程图。 测试生成处理通过对一个或多个功能块中的每一个的输入的输入范围信息应用变换来计算由数据流程图定义的一个或多个功能块的输出的范围信息和数据类型信息。 至少部分地通过应用基于块类型为一个或多个功能块中的每一个预定义的特定数学和功能效应来执行变换。