摘要:以軟件可信性問(wèn)題為主攻目標(biāo),首先闡述了可信軟件的五大主要特征,給出了可信軟件分析方法、測(cè)試方法和步驟,并總結(jié)了各個(gè)方法的缺點(diǎn),重點(diǎn)對(duì)可信軟件測(cè)試方法進(jìn)行了分類(lèi)總結(jié)和對(duì)比分析,同時(shí)給出了相應(yīng)方法的測(cè)試工具;其次論述了可信軟件的驗(yàn)證方法;最后進(jìn)行了總結(jié),并對(duì)今后可信軟件分析和測(cè)試研究作出了展望。