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.:

US 8156474 B1

PDF
Full Text
Expired
Date of Patent:
Apr. 10, 2012

Filed:

Dec. 28, 2007
Applicants:

Marat Teplitsky, Rishon Le-Zion, IL;

Meir Ovadia, Natanya, IL;

Noa Gradovich, Givatayim, IL;

Inventors:

Marat Teplitsky, Rishon Le-Zion, IL;

Meir Ovadia, Natanya, IL;

Noa Gradovich, Givatayim, IL;

Assignee:

Cadence Design Systems, Inc., San Jose, CA (US);

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 9/44 (2006.01);
U.S. Cl.
CPC ...
Abstract

A method, system, and computer program product are disclosed for automatic test generation for a compiler. In one approach, the method, system and computer program product represent a test case for the compiler in a structure with one or more elements of a programming language, associate at least one syntactic rule and semantic rule with the one or more elements in the structure, create a test with the structure compiling the test with the compiler, and display results of the test.


Find Patent Forward Citations

Loading…