Method and apparatus for test generation from hybrid diagrams with combined data flow and statechart notation
摘要
<p>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.</p>
申请公布号
EP2131285(A2)
申请公布日期
2009.12.09
申请号
EP20090159263
申请日期
2009.04.30
申请人
HONEYWELL INTERNATIONAL INC.
发明人
BHATT, DEVESH;SCHLOEGEL, KIRK;HICKMAN, STEPHEN O.;OGLESBY, DAVID