基于約束規(guī)劃的軟件過程控制方法研究.pdf

1、借鑒制造業(yè)通過控制和改進工藝流程提高產(chǎn)品質(zhì)量的方法，軟件工程界提出通過控制和改進軟件過程來提高產(chǎn)品質(zhì)量的思想。軟件過程已成為保障軟件質(zhì)量的關(guān)鍵因素。針對軟件過程中的動態(tài)性和不確定性，現(xiàn)有的過程模型缺乏對執(zhí)行過程控制的支持。本論文基于軟件過程理論和約束規(guī)劃，對動態(tài)軟件過程控制方法進行研究。
　　 本文提出了TDSPCM模型；定義了組織標準的過程框架；提出將標準過程框架進行裁剪的方法；根據(jù)裁剪后的過程框架，將過程活動分解為需要完成的

2、任務(wù)集合，得到執(zhí)行過程；使用面向任務(wù)的計劃方法，對過程任務(wù)和資源進行調(diào)度和分配；在過程執(zhí)行過程中，通過定期評審任務(wù)執(zhí)行情況和外界變化，當任務(wù)執(zhí)行數(shù)據(jù)超過給定閾值，則對計劃進行調(diào)整，從而實現(xiàn)對執(zhí)行過程的控制；本文基于XML構(gòu)建了SPM，可實現(xiàn)過程模型的規(guī)范化描述，探討了其在數(shù)據(jù)交換中的應(yīng)用，為組織間過程數(shù)據(jù)共享提供了解決方法。
　　 對于TDSPCM模型中的關(guān)鍵問題，即任務(wù)和資源的分配問題，采用約束規(guī)劃方法，建立了軟件過程調(diào)度的約

3、束模型。根據(jù)軟件過程中的任務(wù)和工具特點，確定了全局約束變元和約束條件，建立了靜態(tài)約束模型，并對分支和搜索策略進行了討論。通過實驗證明了該方法的實際應(yīng)用價值。
　　 針對動態(tài)約束模型，提出了兩種求解方法。本文分析了軟件過程中動態(tài)的變化特性，針對問題改變通常發(fā)生在局部幾個變量上，任務(wù)的執(zhí)行時間和約束發(fā)生較小變化的情況，在分析現(xiàn)有LC算法的基礎(chǔ)上，提出了一個改進的LC算法，該算法利用啟發(fā)式知識和禁忌策略，具有較好的求解速度和解的質(zhì)量。