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

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

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

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

公开(公告)号：US20100192128A1

公开(公告)日：2010-07-29

申请号：US12360743

申请日：2009-01-27

申请人： Kirk A. Schloegel ,  Devesh Bhatt ,  Steve Hickman ,  David V. Oglesby ,  Manish Patodi ,  VenkataRaman Perivela ,  Rachana Labh

发明人： Kirk A. Schloegel ,  Devesh Bhatt ,  Steve Hickman ,  David V. Oglesby ,  Manish Patodi ,  VenkataRaman Perivela ,  Rachana Labh

IPC分类号： G06F11/36

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

摘要： An electronic system for test generation is disclosed. The system comprises a source code generator, a test generator, and a code and test equivalence indicator, each of which take functional requirements of a design model as input. The test generator generates test cases for a first test set and a second test set, where the first test set comprises a target source code without references to test points in the source code and the second test set comprises a test equivalent source code that references the test points of the source code. The code and test equivalency indicator generates test metrics for the first and second test sets and comparatively determines whether the target source code is functionally identical to the test equivalent source code based on an analysis of the test metrics and a comparison of the target and the test equivalent source codes.

摘要翻译： 公开了一种用于测试生成的电子系统。 该系统包括源代码生成器，测试发生器以及代码和测试等价指标，每个指示器以设计模型的功能需求为输入。 测试发生器生成第一测试集和第二测试集的测试用例，其中第一测试集包括目标源代码，而不引用源代码中的测试点，第二测试集包括测试等效源代码，其引用 测试点的源代码。 代码和测试等价指标产生第一和第二测试集的测试指标，并且基于测试指标的分析和目标与测试的比较来相对地确定目标源代码是否与测试等效源代码功能相同 等效的源代码。