发明名称 |
Method, apparatus, and system for automatic test generation from statecharts |
摘要 |
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. |
申请公布号 |
EP2128769(A2) |
申请公布日期 |
2009.12.02 |
申请号 |
EP20090159286 |
申请日期 |
2009.05.01 |
申请人 |
HONEYWELL INTERNATIONAL INC. |
发明人 |
OGLESBY, DAVID;SCHLOEGEL, KIRK;BHATT, DEVESH;HICKMAN, STEPHEN O. |
分类号 |
G06F11/36 |
主分类号 |
G06F11/36 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|