Symbolic execution and test generation for GPU programs
US8595701B2 · kind B2 · utility
24Cited by
8References
28Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Feb 4, 2011 |
| Grant date | Nov 26, 2013 |
| Priority date | — |
| Expiry date | Dec 6, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/448
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
In particular embodiments, a method includes accessing bytecode generated by a compiler from a software program for execution by a particular processing unit; accessing configuration information describing one or more aspects of the particular processing unit; symbolically executing the bytecode with the configuration information; and, based on the symbolic execution, generating one or more results conveying a functional correctness of the software program with respect to the particular processing unit for communication to a user and generating one or more test cases for the software program for communication to a user.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.