发明名称 |
Technique using persistent foci for finite state machine based software test generation |
摘要 |
A system for automatic generation of test programs employs test generation foci linked to a finite state machine behavioral model of a software application under test to produce abstract test suites that are executed by an execution engine. The foci include directive expressions that tag coverage variables of the behavioral model. The execution engine operates until the tagged coverage variables have assumed all their possible values. Both the behavioral models and the foci are archivable and can be retrieved and reused independently.
|
申请公布号 |
US6944848(B2) |
申请公布日期 |
2005.09.13 |
申请号 |
US20010847309 |
申请日期 |
2001.05.03 |
申请人 |
INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
HARTMAN ALAN;NAGIN KENNETH;KRAM PAUL |
分类号 |
G06F9/44;G06F11/36;(IPC1-7):G06F9/44 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|