可信軟件分析與測(cè)試研究進(jìn)展

摘要：以軟件可信性問(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è)試研究作出了展望。