基于軟件體系結(jié)構(gòu)的測試技術(shù).pdf

1、隨著計算機(jī)技術(shù)的不斷發(fā)展，軟件的規(guī)模和復(fù)雜性都有了很大的提高，軟件失效已成為系統(tǒng)癱瘓的主要原因。軟件測試已經(jīng)成為提高軟件可靠性和保證軟件質(zhì)量的重要手段。 從90年代開始，軟件體系結(jié)構(gòu)技術(shù)受到了研究界和工業(yè)界的普遍重視并開始得到應(yīng)用。軟件體系結(jié)構(gòu)為描述大型、復(fù)雜系統(tǒng)提供了一個高層次的模型，其動態(tài)描述常被用來指導(dǎo)分析和測試。 本文首先深入研究了國內(nèi)外大量關(guān)于軟件體系結(jié)構(gòu)的測試技術(shù)，對已有的體系結(jié)構(gòu)測試技術(shù)做出分析和總結(jié)。以基

2、于化學(xué)抽象機(jī)CHAM(ChemicalMachine)的軟件體系結(jié)構(gòu)測試技術(shù)為研究方向。基于化學(xué)抽象機(jī)CHAM的軟件體系結(jié)構(gòu)測試技術(shù)利用CHAM能夠描述軟件體系結(jié)構(gòu)的動態(tài)規(guī)格說明，來對軟件體系結(jié)構(gòu)進(jìn)行動態(tài)建模，并利用標(biāo)號遷移系統(tǒng)LTS(Labelled Transition System)能夠直觀的表示CHAM對軟件體系動態(tài)模擬的整個過程。得到LTS后，根據(jù)LTS選擇基本路徑測試覆蓋準(zhǔn)則，最后生成用于指導(dǎo)測試的測試路徑。最后給出了LTS