構(gòu)件組裝中“特征干擾問題”的時序邏輯檢測方法研究.pdf

1、當前,基于構(gòu)件的軟件開發(fā)方法已經(jīng)受到越來越多的重視.大多數(shù)構(gòu)件經(jīng)過了嚴格的質(zhì)量認證,單獨運行時功能十分明確,但當來自于不同開發(fā)者、不同開發(fā)時間的構(gòu)件組裝在一起時,就會發(fā)生很多問題,這些問題被稱為"特征干擾",而其中那些影響系統(tǒng)正常運行或降低系統(tǒng)運行效率的特征干擾被稱為"特征干擾問題",這些問題是必須被檢測出來并予以解決的.由于構(gòu)件可能具有不同的抽象層次和粒度,我們采用了時序邏輯語言XYZ/E作為構(gòu)件描述語言,這種語言能夠描述構(gòu)件的靜態(tài)語

2、義和動態(tài)執(zhí)行,并且能在不同抽象層次上對系統(tǒng)進行形式化描述.在該文,我們主要針對設(shè)計階段的構(gòu)件進行描述,并給出其組裝中特征干擾問題的檢測方法.但是,這種方法還可以應(yīng)用于其它階段和其它抽象層次的構(gòu)件.構(gòu)件間的特征干擾不僅與構(gòu)件功能有關(guān),還與構(gòu)件間的組裝方式相關(guān),所以我們提出了一種基于組裝方式的特征干擾問題檢測方法.這種檢測方法分為兩個層次:狀態(tài)控制層次,即檢測構(gòu)件以某種方式組裝時狀態(tài)之間是否存在不匹配的問題;結(jié)構(gòu)層次,對多個構(gòu)件組裝后的行為

3、進行檢測.在特征干擾問題的檢測中還需要考慮相關(guān)問題:狀態(tài)、事件的相關(guān)性問題和狀態(tài)可達性問題.相關(guān)性問題是為了找出必須共存、可能共存和矛盾的狀態(tài)、事件,便于狀態(tài)控制層次的檢測.可達性問題是為了驗證我們找出的發(fā)生特征干擾問題的狀態(tài)是否能由系統(tǒng)的初始狀態(tài)通過變遷得到,即特征干擾問題是否一定發(fā)生.文章給出了使用這種方法檢測IP過濾系統(tǒng)和Email系統(tǒng)中特征干擾問題的實例,并在附錄中以升降機系統(tǒng)為例,說明了使用這種方法檢測需求階段的特征干擾問題的