首页>
外国专利>
Efficient partial calculation for the parallelization of the analysis of the software in a distributed computing environment
Efficient partial calculation for the parallelization of the analysis of the software 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.
展开▼