论文研究基于证据推理的嵌入式软件可信性评估方法.pdf

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