基于構(gòu)件相關(guān)性的構(gòu)件交互沖突檢測(cè)研究.pdf

1、基于構(gòu)件的軟件開(kāi)發(fā)作為一種新的軟件開(kāi)發(fā)方式在軟件開(kāi)發(fā)過(guò)程中得到了廣泛的使用。該方法通過(guò)對(duì)已有構(gòu)件的組裝來(lái)開(kāi)發(fā)新的應(yīng)用軟件，而應(yīng)用軟件的功能是通過(guò)其內(nèi)部組成構(gòu)件之間的交互來(lái)實(shí)現(xiàn)的。構(gòu)件是由不同構(gòu)件開(kāi)發(fā)者封裝，能夠完成特定功能的基本單元，其開(kāi)發(fā)過(guò)程與具體應(yīng)用軟件的開(kāi)發(fā)是相互獨(dú)立的，軟件開(kāi)發(fā)人員在使用構(gòu)件時(shí)并不需要了解構(gòu)件內(nèi)部的具體運(yùn)行機(jī)制。因此，在構(gòu)件的組裝交互過(guò)程中，構(gòu)件之間可能因?yàn)槟承┮蛩禺a(chǎn)生相互影響，導(dǎo)致應(yīng)用系統(tǒng)表現(xiàn)出非期望的行為，也

2、就是構(gòu)件交互沖突問(wèn)題。如何很好的解決構(gòu)件交互沖突問(wèn)題在基于構(gòu)件的軟件開(kāi)發(fā)中具有重要的意義。 構(gòu)件交互沖突的產(chǎn)生不僅與構(gòu)件的內(nèi)部實(shí)現(xiàn)有關(guān)，而且和構(gòu)件之間的交互連接方式密切相關(guān)。形式化檢測(cè)技術(shù)對(duì)于構(gòu)件交互沖突的檢測(cè)具有很好的效果，但是該方法目前受到“組合狀態(tài)爆炸”等諸多問(wèn)題的制約。因此本文在已有構(gòu)件系統(tǒng)擴(kuò)展的前提下，對(duì)構(gòu)件交互沖突問(wèn)題以及其相關(guān)影響因素進(jìn)行了研究，提出了一種新的構(gòu)件交互沖突檢測(cè)方法。 文本首先對(duì)構(gòu)件的模型以及

3、構(gòu)件的交互過(guò)程進(jìn)行分析和總結(jié)，將構(gòu)件的交互連接方式概括為四種基本交互類型，并對(duì)每種類型的交互進(jìn)行了抽象描述的分析。 其次，本文針對(duì)構(gòu)件之間的相關(guān)性進(jìn)行研究，提出了構(gòu)件系統(tǒng)接口矩陣的概念，通過(guò)接口矩陣在更細(xì)的粒度上對(duì)構(gòu)件之間的交互關(guān)系進(jìn)行描述；并提出了一種基于接口矩陣的構(gòu)件相關(guān)性檢測(cè)方法，通過(guò)該方法可以在構(gòu)件系統(tǒng)變化時(shí)，檢測(cè)出系統(tǒng)中可能發(fā)生沖突的構(gòu)件，從而縮小了系統(tǒng)構(gòu)件的檢測(cè)范圍，減小了“組合狀態(tài)爆炸”等問(wèn)題的影響，也避免了一些不