摘要:以軟件可信性問題為主攻目標,首先闡述了可信軟件的五大主要特征,給出了可信軟件分析方法、測試方法和步驟,并總結(jié)了各個方法的缺點,重點對可信軟件測試方法進行了分類總結(jié)和對比分析,同時給出了相應方法的測試工具;其次論述了可信軟件的驗證方法;最后進行了總結(jié),并對今后可信軟件分析和測試研究作出了展望。
計算機應用研究2011年7期
1《師道·教研》2024年10期
2《思維與智慧·上半月》2024年11期
3《現(xiàn)代工業(yè)經(jīng)濟和信息化》2024年2期
4《微型小說月報》2024年10期
5《工業(yè)微生物》2024年1期
6《雪蓮》2024年9期
7《世界博覽》2024年21期
8《中小企業(yè)管理與科技》2024年6期
9《現(xiàn)代食品》2024年4期
10《衛(wèi)生職業(yè)教育》2024年10期
關于參考網(wǎng)