Dynamic Constraint Satisfaction-Based Software Process Scheduling Model

In the process of software product development, because there are so many tasks needed to arrange and constrained resources, and because the impact of external factors, software development projects are usually in a dynamic environment.Therefore,in order to determine the timing of tasks and allocate the limited resources requires a lot of energy and strength. So, how to allocate resources and assign tasks to meet project requirements, to ensure optimal allocation of resources, to ensure the software quality,and to ensure the completion of all tasks within the shorest time is the problem which large-scale software development must be addressed.Because of the dynamic nature of software process, this article divides the software processes into a series of tasks, and proposes a software process scheduling model based on dynamic constraint satisfaction, which make the software process adjust and improve in order to adapt to the changing external environment, and can also effectively help software companies improve management efficiency and reduce management costs. The main task of this article is to start around the constraint satisfaction problem and the specific research contents are as follows:First this article introduces the basic concepts of constraint satisfaction problems and discusses the strategies of solving constraint satisfaction problem, pretreatment technology and search orders on the search efficiency. Then this article introduces systemly the concept of dynamic constraint satisfaction problem, different types of dynamic constraint satisfaction problems and methods of solving different types of dynamic constraint satisfaction problems.At last, this article introduces the concept of scheduling and analysis of the software process scheduling difficulties.On this basis, establish an analytical framework of software process which based on dynamic constraint satisfaction and gives an application example applied in the software process. Finally, the experimental results show that the model feasible in practical applications.