基于證據(jù)推理的嵌入式軟件可信性評(píng)估方法

摘要：傳統(tǒng)的可信性評(píng)估模型通常使用軟件度量或邏輯驗(yàn)證方法進(jìn)行定量估計(jì)，在應(yīng)用于體系結(jié)構(gòu)復(fù)雜、可信度要求較高的嵌入式軟件時(shí)，依然存在可信需求不明確、專家主觀認(rèn)知無(wú)法集成等問(wèn)題。在分析嵌入式軟件可信需求的基礎(chǔ)上，構(gòu)建一種基于證據(jù)推理方法的嵌入式軟件可信性評(píng)估模型，并定義證據(jù)合成算子和效用估算模型以實(shí)現(xiàn)多樣化可信證據(jù)的一致融合與量化。仿真實(shí)驗(yàn)驗(yàn)證了該模型在解決嵌入式軟件可信性評(píng)估問(wèn)題時(shí)的合理性與有效性。