Invention Grant
US07644398B2 System and method for automatic test-case generation for software
有权
用于软件自动测试用例生成的系统和方法
- Patent Title: System and method for automatic test-case generation for software
- Patent Title (中): 用于软件自动测试用例生成的系统和方法
-
Application No.: US10499583Application Date: 2002-12-19
-
Publication No.: US07644398B2Publication Date: 2010-01-05
- Inventor: Rance Cleaveland , Steve T. Sims , David Hansel
- Applicant: Rance Cleaveland , Steve T. Sims , David Hansel
- Applicant Address: US NC Cary
- Assignee: Reactive Systems, Inc.
- Current Assignee: Reactive Systems, Inc.
- Current Assignee Address: US NC Cary
- Agency: Coats & Bennett, P.L.L.C.
- International Application: PCT/US02/40590 WO 20021219
- International Announcement: WO03/054666 WO 20030703
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G01R31/28 ; G06F17/50
Abstract:
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.
Public/Granted literature
- US20050160321A1 System and method for automatic test-case generation for software Public/Granted day:2005-07-21
Information query
