首页>
外国专利>
Efficient partial computation for the parallelization of software analysis in a distributed computing environment
Efficient partial computation for the parallelization of software analysis in a distributed computing environment
展开▼
机译:高效的部分计算,可在分布式计算环境中实现软件分析的并行化
展开▼
页面导航
摘要
著录项
相似文献
摘要
An electronic device includes a memory, a processor coupled to the memory, and one or more policies stored in the memory. The policies include a resource availability policy determining whether the processor should continue evaluating the software, and a job availability policy determining whether new jobs will be created for unexplored branches. The processor is configured to receive a job to be executed, evaluate the software, select a branch to explore and store an initialization sequence of one or more unexplored branches if a branch in the software is encountered, evaluate the job availability policy, decide whether to create a job for each of the unexplored branches based on the job availability policy, evaluate the resource availability policy, and decide whether to continue evaluating the software at the branch selected to explore based on the resource availability policy. The job indicates of a portion of software to be evaluated.
展开▼