The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Sep. 29, 2009
Filed:
Jul. 03, 2003
Adam K. Kolawa, Bradbury, CA (US);
Wendell T. Hicken, La Verne, CA (US);
Arthur R. Hicken, Upland, CA (US);
Marek Kucharski, Krakow, PL;
Gary Alan Brunnell, Lake Forest, CA (US);
Adam K. Kolawa, Bradbury, CA (US);
Wendell T. Hicken, La Verne, CA (US);
Arthur R. Hicken, Upland, CA (US);
Marek Kucharski, Krakow, PL;
Gary Alan Brunnell, Lake Forest, CA (US);
Parasoft Corporation, Monrovia, CA (US);
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.