Invention Grant
- Patent Title: Method and system for automatic error prevention for computer software
- Patent Title (中): 计算机软件自动防错方法及系统
-
Application No.: US10613166Application Date: 2003-07-03
-
Publication No.: US07596778B2Publication Date: 2009-09-29
- Inventor: Adam K. Kolawa , Wendell T. Hicken , Arthur R. Hicken , Marek Kucharski , Gary Alan Brunnell
- Applicant: Adam K. Kolawa , Wendell T. Hicken , Arthur R. Hicken , Marek Kucharski , Gary Alan Brunnell
- Applicant Address: US CA Monrovia
- Assignee: Parasoft Corporation
- Current Assignee: Parasoft Corporation
- Current Assignee Address: US CA Monrovia
- Agency: Christie, Parker & Hale, LLP
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F9/45 ; G06F11/00
Abstract:
In one embodiment, the present invention is a method for automatically preventing errors in computer software. The method includes storing the computer software in a code repository; executing a plurality of software verification tools to verify the computer software, wherein each of the plurality of software verification tools automatically generates one or more test cases; generating verification results responsive to executing the plurality of software verification tools and the automatically generated test cases; processing the verification results for generating an objective criterion of quality of the computer software; and customizing the scope of one or more of the plurality of verification tools responsive to the objective criterion of quality of the computer software.
Public/Granted literature
- US20050015675A1 Method and system for automatic error prevention for computer software Public/Granted day:2005-01-20
Information query
