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

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