摘要
传统的可信性评估模型通常使用软件度量或逻辑验证方法进行定量估计,在应用于体系结构复杂、可信度要求较高的嵌入式软件时,依然存在可信需求不明确、专家主观认知无法集成等问题。在分析嵌入式软件可信需求的基础上,构建一种基于证据推理方法的嵌入式软件可信性评估模型,并定义证据合成算子和效用估算模型以实现多样化可信证据的一致融合与量化。仿真实验验证了该模型在解决嵌入式软件可信性评估问题时的合理性与有效性。
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.
出处
《计算机应用研究》
CSCD
北大核心
2011年第12期4604-4606,4620,共4页
Application Research of Computers
基金
国家自然科学基金资助项目(90718031)
关键词
嵌入式软件
可信性
多属性评估
证据推理
embedded software
trustworthiness
multi-attribute evaluation
evidential reasoning
