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

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

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