基于证据推理的嵌入式软件可信性评估方法  

Evidential reasoning approach based embedded software trustworthiness evaluation method

作　　者：李苗在[1] 

机构地区：[1]鹤壁职业技术学院电子信息工程系,河南鹤壁458030

出　　处：《计算机应用研究》2011年第12期4604-4606,4620,共4页Application Research of Computers

基　　金：国家自然科学基金资助项目(90718031)

摘　　要：传统的可信性评估模型通常使用软件度量或逻辑验证方法进行定量估计,在应用于体系结构复杂、可信度要求较高的嵌入式软件时,依然存在可信需求不明确、专家主观认知无法集成等问题。在分析嵌入式软件可信需求的基础上,构建一种基于证据推理方法的嵌入式软件可信性评估模型,并定义证据合成算子和效用估算模型以实现多样化可信证据的一致融合与量化。仿真实验验证了该模型在解决嵌入式软件可信性评估问题时的合理性与有效性。The current software trustworthiness evaluation models focus on the quantitative evaluation of trustworthiness through the use of software metrics or logic verification .method. They are facing two major challenges for embedded software ： the experts＇ subjective assessments are neglected in practice; the trustworthiness requirements of embedded software are ig- nored in the models construction. To solve these problems, this paper developed an evidential reasoning approach based em- bedded software trustworthiness evaluation method. The analysis and simulation experimental results show that the validity and rationality of the proposed model and it is especially suitable to complex embedded software.

关 键 词：嵌入式软件 可信性 多属性评估 证据推理 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]