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