Method and apparatus for test generation from hybrid diagrams with combined data flow and statechart notation

• US 8,423,879 B2
• Filed: 10/08/2008
• Issued: 04/16/2013
• Est. Priority Date: 05/14/2008
• Status: Active Grant

• Current Assignee: Honeywell International Inc.
• Original Assignee: Honeywell International Inc.
• Inventors: Bhatt, Devesh, Schloegel, Kirk, Oglesby, David, Hickman, Stephen O
• Primary Examiner(s): Baderman, Scott
• Assistant Examiner(s): Arcos, Jeison C
• Application Number:
  US12/247,882
• Publication Number:
  US 20090287958A1
• Time in Patent Office: 1,651 Days
• Field of Search: 717/132, 717104-105, 717/124, 717/125, 703 13- 14, 703/21
• US Class Current: 714/819
• CPC Class Codes: G06F 11/3684 for test design, e.g. generating new test cases

Abstract

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.

Claims

1. A method for generating tests, comprising:

initializing a test generator;

inputting a diagram representing requirements for a system-performing device comprising a plurality of nodes, including a plurality of embedded nodes, and a plurality of arcs, each arc connecting one or more of the plurality of nodes, and wherein each node in the plurality of nodes belongs to a primary semantic notation except for the plurality of embedded nodes, wherein each embedded node in the plurality of embedded nodes comprises at least one sub-diagram belonging to a secondary semantic notation that is not the same as the primary semantic notation;

propagating type and range information (TRI) through the diagram and determining a plurality of test-generation templates for each node in the plurality of the nodes using a propagation method, wherein TRI is propagated and test-generation templates generated based on the primary semantic notation for each node in the plurality of nodes except for the plurality of embedded nodes, and wherein the TRI is propagated and test-generation templates for each embedded node in the plurality of embedded nodes are generated based on the semantic notation of the at least one sub-diagram; and

generating tests for the diagram based on the plurality of test-generation templates.

2. The method of claim 1, wherein propagating TRI information through the diagram and determining a plurality of test-generation templates comprises performing a propagation method that comprises:

inserting at least one node of the plurality of nodes of an input diagram into a TRI-propagation queue, wherein the input diagram is a subset of the diagram;

selecting test-generation procedures based on the semantic notation of the input diagram; and

while the TRI-propagation queue is not empty, performing;

(i) selecting a node from the TRI-propagation queue,

(ii) removing the selected node from the TRI-propagation queue,

(iii) determining if the selected node is a designated node,

(iv) responsive to determining the selected node is a designated node, propagating TRI through the selected node and determining a test-generation template for the selected node using the selected test-generation procedures, and

(v) responsive to determining the selected node is an undesignated node, recursively calling the propagation method using the selected node as an input diagram and then post-processing the selected node, wherein the post-processing of the selected node is based on the semantic notation of the selected node.

3. The method of claim 2, wherein determining a node is a designated node comprises making a default determination that the embedded node is an undesignated node.

4. The method of claim 2, wherein selecting a node from the TRI-propagation queue further comprises determining if all nodes upstream from the selected node have been processed.

5. The method of claim 2, wherein responsive to the determination that all nodes up-stream from the selected node have not been processed, selecting a new selected node from the TRI-propagation queue, wherein the new selected node differs from the selected node.

6. The method of claim 1, further comprising:

determining if at least one generated test is to be executed; and

responsive to determining the at least one generated test is to be executed, executing the at least one generated test.

7. The method of claim 1, wherein generating tests for the diagram based on the plurality of test-generation templates comprises:

(i) selecting a test-generation template from the plurality of test-generation templates;

(ii) projecting inputs up-stream of the selected test-generation template to a plurality of affectable input points of the diagram;

(iii) propagating expected outputs down-stream from an associated node to a plurality of measurable observation points;

(iv) recording a generated test based on the projected inputs and the propagated expected outputs;

(v) determining another test-generation template in the plurality of test-generation templates is to be processed; and

(vi) responsive to determining another test-generation template is to be processed, performing steps (i)-(iv) for the another test-generation template.

8. The method of claim 7, wherein at least one affectable input point of the plurality of affectable input points is a designated location of the diagram.

9. The method of claim 7, wherein at least one affectable input point of the plurality of affectable inputs is an input to the diagram.

10. The method of claim 7, wherein at least one measurable output point of the plurality of measurable output points is a designated location of the diagram.

11. The method of claim 7, wherein at least one measurable output point of the plurality of measurable output points is an output of the diagram.

12. A method for generating tests representing requirements for a system-performing device from a diagram comprising a plurality of nodes, including a plurality of embedded nodes, and a plurality of arcs, each arc connecting one or more of the plurality of nodes, wherein each node in the plurality of nodes belongs to a primary semantic notation except for the plurality of embedded nodes, and wherein each embedded node in the plurality of embedded nodes comprises at least one sub-diagram belonging to a secondary semantic notation that is not the same as the primary semantic notation, the method comprising:

receiving a plurality of test-generation templates into a test-generation-template data structure, each test-generation template representing an associated node of the diagram;

selecting a test-generation template from the test-generation-template data structure and an associated node for the test-generation template;

updating the test-generation-template data structure based on the selected test-generation template;

projecting inputs up-stream along a first path from the associated node to a plurality of affectable input points based on the semantic notation of nodes in the first path;

propagating expected outputs down-stream along a second path from the associated node to a plurality of measurable observation points based on the semantic notation of nodes in the second path;

generating a test based on the projected inputs and propagated outputs; and

determining that another test-generation template in the plurality of test-generation templates is to be processed based on the test-generation-template data structure.

13. The method of claim 12, further comprising:

responsive to determining all test-generation templates have been processed, executing a generated test out of the plurality of generated tests.

14. The method of claim 13, wherein executing a generated test comprises:

selecting a generated test of the plurality of tests to execute; and

executing the selected test.

15. The method of claim 12, further comprising:

selecting a portion of the diagram, and

generating tests for the selected portion of the diagram.

16. The method of claim 15, wherein selecting a portion of the diagram comprises selecting at least one affectable input and at least one measurable observation point for the diagram.

17. A test generator, comprising:

a computer processor;

data storage;

machine-language instructions stored in the data storage and executable by the computer processor to perform functions including;

initializing the test generator,

inputting a diagram representing requirements for a system-performing device comprising a plurality of nodes, including a plurality of embedded nodes, and a plurality of arcs, each arc connecting one or more of the plurality of nodes, wherein each node in the plurality of nodes belongs to a primary semantic notation except for the plurality of embedded nodes, and wherein each embedded node in the plurality of embedded nodes comprises at least one sub-diagram belonging to a secondary semantic notation that is not the same as the primary semantic notation

propagating type and range information (TRI) through each node in the plurality of nodes based on a semantic notation used by the node,

determining a plurality of test-generation templates for each node in the plurality of nodes based on the semantic notation used by the node, and

generating tests for the diagram based on the plurality of test-generation templates.

18. The test generator of claim 17, wherein the functions further comprise:

determining if a generated test is to be executed.

19. The test generator of claim 18, wherein the functions further comprise:

responsive to determining a generated test should be executed, executing the generated test.

20. The test generator of claim 17, wherein selecting a node from the TRI-propagation queue further comprises determining if all nodes up-stream from the selected node have been processed.