文档介绍：南京航空航天大学
硕士学位论文
基于元模型的软件可信评估方法及工具实现
姓名:洪宏
申请学位级别:硕士
专业:计算机科学与技术
指导教师:黄志球
2010-11
南京航空航天大学硕士学位论文
摘要
随着软件应用的不断深入,软件可信性受到了高度关注,形成了围绕“软件可信性”的新
的研究热点。软件可信评估是可信性研究中的一个基本问题,在软件可信性保障活动中占据了
极其重要的地位。考虑到评估过程中涉及到的评估对象(模型、产品、文档)存在多样性和差
异性,需要提供一种统一、综合的方法来进行软件可信评估。
目前可信评估模型的研究主要集中在评估算法的数学建模方面,针对不同的应用领域建立
了不同的评估模型,对于评估模型的结构和语义没有明确的定义和说明。导致不同学者制定的
评估模型适用的软件形态受限、模型间的信息不能共享等不足。
针对上述问题,本文提出了一种通用的解决方案来对软件的可信评估过程进行管理。
首先,在分析现有可信评估模型的基础上,抽取和分析了通用的可信评估过程中涉及的基
本概念,构建了可信评估元模型。应用本体语言 OWL 抽象描述了元模型的语义信息,保障了
元模型内部概念的一致性。
其次,探讨了基于可信评估元模型的领域模型建立方式和评估实施过程,结合税务领域的
应用实例详细说明了如何采用建模语言为企业应用建立评估模型,并以此指导评估的具体实施。
最后,对支持评估模型定制的可信评估管理系统设计了完整的解决方案,并据此使用 J2EE
构建了一个基于 B/S 结构的可信评估管理系统,以辅助评估者定制评估模型,收集证据信息,
从而有效的完成评估任务。
实验表明此项研究对于软件可信评估活动的成功实施具有一定的指导作用。

关键词:软件可信,可信评估,属性模型,证据模型,评估指标体系,本体
i
基于元模型的软件可信评估方法及工具实现
ABSTRACT
With the widespread of software applications in various industries, software trustworthiness has
e a top concern and also a research hot spot. Software trustworthiness evaluation is a
fundamental issue in the study, which is of prime importance in ensuring software trustworthiness.
Given the diversity and differences of evaluation candidates (models, products, documents), the
evaluation need to be performed in a unified and integrated way.
The main focus of evaluation models research is the mathematical modeling of evaluation
algorithm, and various models have been estalished for different domains. However, those models
lack clear definition and description for their structure and semantics. As a result, different models are
restricted to their own application patterns; also, it is impossible to share information among models.
To solve the above problem, a proposal for the integrated management of software
trustworthiness evaluation is presented in this paper.
Firstly, based on analysis of current evaluation models, a trustworthiness evaluation meta-model
is given by extracting and analyzing basic concepts involved in t