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

摘要

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.%传统的可信性评估模型通常使用软件度量医逻辑验证方法进行定量估计,在应用于体系结构复杂、可信度要求较高的嵌入式软件时,依然存在可信需求不明确、专家主观认知无法集成等问题.在分析嵌入式软件可信需求的基础上,构建一种基于证据推理方法的嵌入式软件可信性评估模型,并定义证据合成算子和效用估算模型以实现多样化可信证据的一致融合与量化.仿真实验验证了该模型在解决嵌入式软件可信性评估问题时的合理性与有效性.