面向軟件產(chǎn)品和過(guò)程的變更管理技術(shù)研究.pdf

1、本論文首先建立一個(gè)反映產(chǎn)品、過(guò)程、組織、時(shí)間等要素的多視圖模型,在此基礎(chǔ)上針對(duì)軟件產(chǎn)品和過(guò)程,從形式化描述與驗(yàn)證、變更影響分析和自動(dòng)化工具這幾個(gè)方面進(jìn)行了研究.具體內(nèi)容安排如下:第一章分析了軟件變更產(chǎn)生的原因,討論了解決軟件變更問(wèn)題的必要性,提出了軟件變更要解決的主要問(wèn)題.給出了軟件變更的相關(guān)技術(shù)和研究現(xiàn)狀,引出了本論文的研究范圍和主要貢獻(xiàn).最后闡述了本論文的內(nèi)容安排.第二章建立支持變更管理的多視圖模型.第三章從形式化描述和驗(yàn)證的角度來(lái)

2、討論變更的可行性,即變更不能違反模型所規(guī)定的一組性質(zhì).第四章對(duì)軟件變更的影響進(jìn)行了分析,具體分析了代碼級(jí)、工作產(chǎn)品級(jí)和過(guò)程級(jí)三個(gè)層次的變更.第五章介紹了支持軟件變更管理的軟件項(xiàng)目開(kāi)發(fā)管理(SPDM)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).在充分考慮了軟件項(xiàng)目開(kāi)發(fā)過(guò)程的特點(diǎn)的基礎(chǔ)上,把工作流技術(shù)和軟件配置管理結(jié)合起來(lái)支持軟件變更管理,以工作流系統(tǒng)體系結(jié)構(gòu)為基礎(chǔ)提出了支持產(chǎn)品和過(guò)程的SPDM系統(tǒng)的體系結(jié)構(gòu),該結(jié)構(gòu)體現(xiàn)了過(guò)程、配置和變更技術(shù)之間的緊密聯(lián)系.第六章總