Invention Grant
- Patent Title: Symbolic execution and test generation for GPU programs
- Patent Title (中): GPU程序的符号执行和测试生成
-
Application No.: US13021604Application Date: 2011-02-04
-
Publication No.: US08595701B2Publication Date: 2013-11-26
- Inventor: Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
- Applicant: Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
- Applicant Address: JP Kawasaki-shi
- Assignee: Fujitsu Limited
- Current Assignee: Fujitsu Limited
- Current Assignee Address: JP Kawasaki-shi
- Agency: Baker Botts L.L.P.
- Main IPC: G06F9/44
- IPC: G06F9/44
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.
Public/Granted literature
- US20120204154A1 Symbolic Execution and Test Generation for GPU Programs Public/Granted day:2012-08-09
Information query
