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

【文件属性】：
文件名称：论文研究-基于证据推理的嵌入式软件可信性评估方法.pdf
文件大小：492KB
文件格式：PDF
更新时间：2022-08-11 16:17:13
嵌入式软件,可信性,多属性评估,证据推理 传统的可信性评估模型通常使用软件度量或逻辑验证方法进行定量估计，在应用于体系结构复杂、可信度要求较高的嵌入式软件时，依然存在可信需求不明确、专家主观认知无法集成等问题。在分析嵌入式软件可信需求的基础上，构建一种基于证据推理方法的嵌入式软件可信性评估模型，并定义证据合成算子和效用估算模型以实现多样化可信证据的一致融合与量化。仿真实验验证了该模型在解决嵌入式软件可信性评估问题时的合理性与有效性。