Invention Grant
- Patent Title: Symbolic testing of software using concrete software execution
- Patent Title (中): 使用具体软件执行的软件的符号测试
-
Application No.: US13587423Application Date: 2012-08-16
-
Publication No.: US08997064B2Publication Date: 2015-03-31
- Inventor: Mukul R. Prasad , Maarten H. Wiggers
- Applicant: Mukul R. Prasad , Maarten H. Wiggers
- Applicant Address: JP Kawasaki
- Assignee: Fujitsu Limited
- Current Assignee: Fujitsu Limited
- Current Assignee Address: JP Kawasaki
- Agent Maschoff Brennan
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F11/36
Abstract:
A method of testing software may include accessing software that includes multiple execution paths that each include one or more branching points. The method may also include concretely executing the software using multiple concrete inputs to traverse at least two of the execution paths of the software. The method may also include capturing concrete execution results produced from executing the software using the concrete inputs. The method may also include symbolically executing the software using one or more symbolic inputs based on the concrete execution results.
Public/Granted literature
- US20140053139A1 SYMBOLIC TESTING OF SOFTWARE USING CONCRETE SOFTWARE EXECUTION Public/Granted day:2014-02-20
Information query
