首页> 外国专利> Dynamic and intelligent partial computation management for efficient parallelization of software analysis in a distributed computing environment

Dynamic and intelligent partial computation management for efficient parallelization of software analysis in a distributed computing environment

机译:动态和智能的部分计算管理,可在分布式计算环境中高效并行化软件分析

摘要

A method for verifying software includes determining the result of a bounding function, and using the result of the bounding function to apply one or more policies to the execution of the received job. The bounding function evaluates the execution of a received job, the received job indicating a portion of software to be verified. The result of the bounding function is based upon the present execution of the received job, one or more historical parameters, and an evaluation of the number of idle nodes available to process other jobs.
机译:一种用于验证软件的方法,包括确定边界函数的结果,以及使用边界函数的结果将一个或多个策略应用于接收到的作业的执行。边界函数评估接收到的作业的执行,接收到的作业指示要验证的软件的一部分。边界函数的结果基于接收到的作业的当前执行,一个或多个历史参数以及可用于处理其他作业的空闲节点数的评估。

著录项

相似文献

  • 专利
  • 外文文献
  • 中文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号