基于动态约束满足的软件过程调度模型

【摘要】： 由于在软件产品的开发过程中,需要安排的任务和资源约束过多,且由于外界因素的影响,软件开发项目处于一个动态环境中,因此确定任务的时序以及资源的分配需要耗费大量的精力和体力。如何调配资源分配任务才能满足项目需求,保证软件质量,保证资源得到最优配置,保证在最短的时间内完成所有的任务,是大规模软件开发必须解决的问题。 由于软件过程的动态性,本文将软件过程划分为一系列任务,提出一种基于动态约束满足的软件过程调度模型,使得软件过程能够及时调整、改进,以适应不断变化的外部环境,有效地帮助软件企业在提高管理效率,降低管理成本。本文的主要工作是围绕约束满足问题而展开的,具体研究内容如下： 文章首先介绍了约束满足问题的基本概念,讨论了约束满足问题求解策略,预处理技术,搜索次序对搜索效率的影响以及最优化约束满足问题等。然后本文系统地介绍了动态约束满足问题的概念,不同的问题类型与求解不同类型问题的方法,最后介绍了调度的概念,分析了软件过程调度中的难点。 在此基础上,建立了基于动态约束满足问题的软件过程基本分析框架,并给出了其在软件过程问题中的应用实例,并通过实验证明该模型在实际应用中可行。