基于并發(fā)自動(dòng)機(jī)的構(gòu)件化軟件觀測(cè)模型研究.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)件通過接口對(duì)外提供服務(wù),外界僅能通過接口訪問構(gòu)件,使得開發(fā)人員可以集中解決與應(yīng)用直接相關(guān)的問題而不必考慮實(shí)現(xiàn)的細(xì)節(jié)。然而構(gòu)件的這一特點(diǎn)以及構(gòu)件化軟件開發(fā)對(duì)軟件生命周期的徹底改變給傳統(tǒng)軟件測(cè)試方法帶來挑戰(zhàn)。本文討論了構(gòu)件化軟件集成測(cè)試的特點(diǎn)和現(xiàn)有測(cè)試方法的局限性,分析了傳統(tǒng)測(cè)試方法不適

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

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