Invention Grant
- Patent Title: Node computation initialization technique for efficient parallelization of software analysis in a distributed computing environment
- Patent Title (中): 节点计算初始化技术，用于分布式计算环境中软件分析的高效并行化
-
Application No.: US12957393Application Date: 2010-12-01
-
Publication No.: US08769500B2Publication Date: 2014-07-01
- Inventor: Indradeep Ghosh , Mukul Ranjan Prasad
- Applicant: Indradeep Ghosh , Mukul Ranjan Prasad
- 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 ; G06F9/445 ; G06F11/36 ; G06F9/30
Abstract:
A method for verifying software includes determining an initialization path condition of a received software verification job, determining a termination path condition of a computing node, and initializing the execution of the received software verification job on the computing node based on the initialization path condition and the termination path condition. The initialization path condition includes a sequence of program predicates for reaching a starting state of software to be verified. The received software verification job includes an indication of a portion of the software to be verified. The termination path condition includes an indication of the last state reached during the execution of a previous software verification job on the computing node. The computing node is assigned to execute the received software verification job.
Public/Granted literature
Information query
