構(gòu)件組裝過程中特征交互問題檢測的研究.pdf

1、在基于構(gòu)件開發(fā)的軟件工程 (CBSE)中，許多大型的、復(fù)雜的軟件系統(tǒng)是在一個基本系統(tǒng)的基礎(chǔ)上，通過組裝機(jī)制將構(gòu)件插入到基本系統(tǒng)中的。這樣的開發(fā)模式大大提高了軟件的生產(chǎn)效率。然而，那些插入到基本系統(tǒng)中的構(gòu)件是由不同的開發(fā)人員在不同的開發(fā)環(huán)境下用不同開發(fā)工具開發(fā)而成。當(dāng)這些不同的構(gòu)件組合的時候，它們之間的相互影響就可能會導(dǎo)致影響系統(tǒng)正常功能的非預(yù)期交互問題，即特征交互問題。那么，怎樣識別和檢測這些問題成為我們首要解決的問題。而形式化方法作為

2、檢測特征交互問題的有效方法之一，使得在更為抽象的層次上定義一系列特征變得更加簡單，可以有效的驗(yàn)證預(yù)期的交互和檢測非預(yù)期的交互。
　　 本研究針對這些問題，結(jié)合構(gòu)件接口的特點(diǎn)和形式化方法，提出了一個基于謂詞邏輯和演算的構(gòu)件接口規(guī)范。在此規(guī)范的基礎(chǔ)上，給出了構(gòu)件組裝過程中特征交互問題的檢測方法。依據(jù)構(gòu)件接口規(guī)范的特點(diǎn)以及構(gòu)件組裝過程動作交互存在與否，將檢測方法分為了兩個層次：靜態(tài)層次和行為層次。在靜態(tài)層次上，提出基于謂詞邏輯的綁定組