可信軟件分析與測試研究進展

摘要：以軟件可信性問題為主攻目標，首先闡述了可信軟件的五大主要特征，給出了可信軟件分析方法、測試方法和步驟，并總結(jié)了各個方法的缺點，重點對可信軟件測試方法進行了分類總結(jié)和對比分析，同時給出了相應方法的測試工具；其次論述了可信軟件的驗證方法；最后進行了總結(jié)，并對今后可信軟件分析和測試研究作出了展望。