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

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

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

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