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

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

公开(公告)号：US07644334B2

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

申请号：US11945021

申请日：2007-11-26

申请人： Stephen O. Hickman ,  Devesh Bhatt

发明人： Stephen O. Hickman ,  Devesh Bhatt

IPC分类号： G01R31/28

CPC分类号： G06F11/261 ,  G01R31/31704 ,  G01R31/318357 ,  G01R31/318364

摘要： This test generator takes data flow block diagrams and uses requirements-based templates, selective signal propagation, and range comparison and intersection to generate test cases containing test vectors for those diagrams. The templates are based on the functionality and characteristics of a block type, and each block type has associated templates. These templates provide maps for the creation of test values that verify the functionality of particular instances of that block type. Signal propagation allows the generation of diagram-level test cases that verify particular characteristics of a single embedded block. The methods disclosed for signal propagation utilize range intersection, equivalence classes, and block type formulae to create efficient and complete test cases. This test generation method would preferably be repeated until all blocks in a data flow block diagram were verified in their respective contexts, and it creates test cases that cover multiple time steps.

摘要翻译： 该测试发生器采用数据流程图，并使用基于需求的模板，选择性信号传播和范围比较和交集，生成包含这些图的测试向量的测试用例。 模板基于块类型的功能和特性，每个块类型都具有关联的模板。 这些模板提供了用于创建验证该块类型的特定实例的功能的测试值的映射。 信号传播允许生成验证单个嵌入块特定特性的图级测试用例。 公开的用于信号传播的方法利用范围交叉，等价类和块类型公式来创建有效和完整的测试用例。 优选地重复该测试生成方法，直到数据流框图中的所有块在其各自的上下文中被验证，并创建覆盖多个时间步长的测试用例。

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

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

公开(公告)号：US20080126902A1

公开(公告)日：2008-05-29

申请号：US11945021

申请日：2007-11-26

申请人： Stephen O. Hickman ,  Devesh Bhatt

发明人： Stephen O. Hickman ,  Devesh Bhatt

IPC分类号： G06F11/263

CPC分类号： G06F11/261 ,  G01R31/31704 ,  G01R31/318357 ,  G01R31/318364

摘要： This test generator takes data flow block diagrams and uses requirements-based templates, selective signal propagation, and range comparison and intersection to generate test cases containing test vectors for those diagrams. The templates are based on the functionality and characteristics of a block type, and each block type has associated templates. These templates provide maps for the creation of test values that verify the functionality of particular instances of that block type. Signal propagation allows the generation of diagram-level test cases that verify particular characteristics of a single embedded block. The methods disclosed for signal propagation utilize range intersection, equivalence classes, and block type formulae to create efficient and complete test cases. This test generation method would preferably be repeated until all blocks in a data flow block diagram were verified in their respective contexts, and it creates test cases that cover multiple time steps.

摘要翻译： 该测试发生器采用数据流程图，并使用基于需求的模板，选择性信号传播和范围比较和交集，生成包含这些图的测试向量的测试用例。 模板基于块类型的功能和特性，每个块类型都具有关联的模板。 这些模板提供了用于创建验证该块类型的特定实例的功能的测试值的映射。 信号传播允许生成验证单个嵌入块特定特性的图级测试用例。 公开的用于信号传播的方法利用范围交叉，等价类和块类型公式来创建有效和完整的测试用例。 优选地重复该测试生成方法，直到数据流框图中的所有块在其各自的上下文中被验证，并创建覆盖多个时间步长的测试用例。

公开(公告)号：US20110059421A1

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

申请号：US12145640

申请日：2008-06-25

申请人： Stephen O. Hickman

发明人： Stephen O. Hickman

IPC分类号： F41A33/00

CPC分类号： F42B12/365 ,  F41G3/04 ,  F41G3/142 ,  F41G11/00

摘要： A method, apparatus, and system for adjusting a targeting solution of a weapon system are provided. The weapon system may fire a projectile at a target, where the projectile comprises a location device. The location device may be active or passive. A location notification is received about the first projectile. An impact location of the projectile is determined based on the location notification. The targeting solution of the weapon system is adjusted based on the determined first impact location. The targeting solution may be adjusted directly or indirectly. An indirect adjustment of the targeting solution may include displaying a projectile-status display and/or providing a suggested targeting solution.

摘要翻译： 提供了一种用于调整武器系统的瞄准解决方案的方法，装置和系统。 武器系统可以在目标射击弹道，射弹包括一个定位装置。 位置设备可以是主动的或被动的。 接收关于第一弹丸的位置通知。 基于位置通知确定弹丸的撞击位置。 基于确定的第一冲击位置来调整武器系统的瞄准解决方案。 目标解决方案可以直接或间接调整。 定位解决方案的间接调整可以包括显示投射状态显示和/或提供建议的定位解决方案。

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

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