隨著當(dāng)今社會信息化進程的飛速發(fā)展,計算機軟件更廣泛地應(yīng)用于各個領(lǐng)域,特別是在很多嵌入式系統(tǒng)在工業(yè)控制,電子信息,以及武器裝備的核心作用.軟件的質(zhì)量是生命,軟件測試是保證軟件產(chǎn)品質(zhì)量的重要手段.嵌入式系統(tǒng)的發(fā)展趨勢:硬件逐步過渡到共同的平臺,依靠軟件來完成系統(tǒng)的各項任務(wù).因此,軟件已成為在確定系統(tǒng)的成功或失敗的關(guān)鍵因素.然而,改善軟件的復(fù)雜