发明授权
US07644398B2 System and method for automatic test-case generation for software
有权
用于软件自动测试用例生成的系统和方法
- 专利标题： System and method for automatic test-case generation for software
- 专利标题（中）： 用于软件自动测试用例生成的系统和方法
-
申请号： US10499583申请日： 2002-12-19
-
公开(公告)号： US07644398B2公开(公告)日： 2010-01-05
- 发明人: Rance Cleaveland , Steve T. Sims , David Hansel
- 申请人： Rance Cleaveland , Steve T. Sims , David Hansel
- 申请人地址： US NC Cary
- 专利权人： Reactive Systems, Inc.
- 当前专利权人： Reactive Systems, Inc.
- 当前专利权人地址： US NC Cary
- 代理机构： Coats & Bennett, P.L.L.C.
- 国际申请： PCT/US02/40590 WO 20021219
- 国际公布： WO03/054666 WO 20030703
- 主分类号： G06F9/44
- IPC分类号： G06F9/44 ; G01R31/28 ; G06F17/50
摘要：
A method for generating test cases for software and a test case generator comprising a simulator that drives software under test from one input state to the next. The simulator is constrained by predetermined criteria to visit states that meet the criteria thus preserving computer resources. The states reached by the simulator are tested.
公开/授权文献
信息查询
