Patent · US Active

System and method for testing compiler implementation using dynamic combinatorial test generation

US9733907B2 · kind B2 · utility

4Cited by

14References

20Claims

0Family size

Assignee

Oracle International Corporation · US

Inventors

Brian Goetz · Williston, US
Jonathan J. Gibbons · Mountain View, US
Maurizio Cimadamore · Donabate, IE

Key dates

Filing date	Nov 14, 2012
Grant date	Aug 15, 2017
Priority date	—
Expiry date	Feb 4, 2033

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/3672
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

A system and method can support compiler testing in a programming language environment. The programming language environment can include a testing framework that can provide a program template based on a programming language that is targeted by a compiler implementation to be tested. Furthermore, the testing framework can generate a plurality of sub-tests that contains different variations in the test space based on the program template, and can use the compiler implementation to be tested to compile the generated sub-tests. Finally, the testing framework can check the output of the compiler implementation to be tested against the expected output for the generated sub-tests.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.