基于本体的软件属性可信性研究

• 作者: 位通 张振领 贾仰理 贾保先
• 来源期刊: 工业
• 学科: 工学
• 关键词: 可信软件 本体 软件属性
• 年，卷（期）: zgkjqisjkgy-a_2015,（8）
• 页码范围: 29-29
• 页数: 1页
• 分类号: TP311.52

摘要

随着软件产业的不断进步。软件可信问题日益成为研究重点，软件可信性问题范围也在不断扩展，由原来的安全性，扩展到可靠性，可用性，实时性，可维护性，可生存性，防卫性等，但是对于软件可信属性的研究仅仅局限于某一方面，或者考虑局部可信，但是若干属性加在一起，构成的软件不一定可信，同时属性与属性之间存在继承，传递，排斥等关系，常规的方法很难表示。因此本文利用本体能够对概念进行明确的表示与推理的特性，提出了基于本体的可信软件属性模型，对软件可信属性及属性间的关系进行形式化的描述，以期提高软件的自适应性，提高软件的可信性。