基于并發(fā)自動機(jī)的構(gòu)件化軟件觀測模型研究.pdf

1、構(gòu)件化軟件開發(fā)(CBSD)技術(shù)的廣泛應(yīng)用,提高了軟件生產(chǎn)的效率,節(jié)省了投入。各種各樣的構(gòu)件化軟件開發(fā)技術(shù)、規(guī)范標(biāo)準(zhǔn)也隨著構(gòu)件化軟件的發(fā)展而逐步完善和成熟。構(gòu)件通過接口對外提供服務(wù),外界僅能通過接口訪問構(gòu)件,使得開發(fā)人員可以集中解決與應(yīng)用直接相關(guān)的問題而不必考慮實(shí)現(xiàn)的細(xì)節(jié)。然而構(gòu)件的這一特點(diǎn)以及構(gòu)件化軟件開發(fā)對軟件生命周期的徹底改變給傳統(tǒng)軟件測試方法帶來挑戰(zhàn)。本文討論了構(gòu)件化軟件集成測試的特點(diǎn)和現(xiàn)有測試方法的局限性,分析了傳統(tǒng)測試方法不適

2、用于構(gòu)件化軟件測試的根本原因,建立了一種適合于構(gòu)件化軟件系統(tǒng)的觀測模型以實(shí)現(xiàn)系統(tǒng)地一致地對構(gòu)件化軟件進(jìn)行集成測試。在分析了控制流圖是如何描述順序過程的基礎(chǔ)上,對存在于控制流圖中的謂詞的返回值以及語句組可分別用事件概念和狀態(tài)概念作了新的表述,在此基礎(chǔ)上建立了控制流的確定性有窮自動機(jī)模型并使得利用事件狀態(tài)序列完整一致地描述軟件動態(tài)行為成為可能?？紤]到普遍存在于構(gòu)件化軟件系統(tǒng)中的并發(fā)行為,進(jìn)一步根據(jù)Husson和Morin的可辨識蹤跡語言的理

3、論中關(guān)于描述并發(fā)行為的獨(dú)立關(guān)系相關(guān)定義和性質(zhì),結(jié)合穩(wěn)定并發(fā)自動機(jī)模型最終提出了基于并發(fā)自動機(jī)的構(gòu)件化軟件行為觀測模型,并使用數(shù)據(jù)充分測試公理和軟件行為觀測的構(gòu)造理論中的公理評估了該模型在測試上的有用性,正確性。最后基于該觀測模型,提出了相應(yīng)的測試準(zhǔn)則,并通過具體例子驗證了觀測模型用于測試的有效性。構(gòu)件化軟件觀測模型的意義在于,將軟件的動態(tài)行為以事件,狀態(tài)序列的形式加以研究,為順序行為和并發(fā)行為提供了統(tǒng)一的研究框架,在該模型框架下,利用事