主客观相结合的网构软件可信性评估方法研究

The requirements of ensuring trustworthiness have become increasingly prominent because that Internetware is situated in open, dynamic and uncertain network environments. However, changes of running environment and evolution of system architecture are affecting accuracy of dependability evaluation from subjective evaluation and objective assessment respectively. The project starts research from Internetware system architecture and runtime environment, selects dependability evaluation metrics and theirs calculation method as research object, and focus on subjective and objective dependability evaluation methods for the entire Internetware system. Main contents includes: abstracting entity model and analyzing structure pattern of Internetware from aspects of individual entities, collaboration among entities, and the entire system; analyzing trust transfer and evolution mechanism based on static structure and dynamic behavior modeling of Internetware, and constructing Internetware dependability evaluation metrics system by considering system runtime environment; establishing an evaluating model of computing dependability of each entities to the whole system based on a combined methods of mathematical calculations and experimental simulations. The project aims to reveal the relationship between subjective evaluation and objective assessment, and the relationship between system metrics and individual metrics, and helps users to select optimal entities to build dependable Internetware system.

网构化软件处于开放、动态、难控的环境之中，对其可信性的要求变得日益突出。然而，外部环境的变化和系统结构的演化分别在主观评价与客观评估方面影响了可信性评估的准确性。本项目从网构软件系统结构与运行环境特征出发，以可信性评估指标及其计算方法为研究对象，研究面向整个系统的主客观相结合的可信性评估方法。具体内容包括：从实体个体、实体间协同及系统整体三个层面分析网构软件结构模式并抽象出实体模型；在网构软件实体静态结构与动态行为建模的基础上，分析实体间信任传递与演化机制；结合系统运行环境，构建网构软件可信性评测指标体系模型。采用数学计算与实验仿真相结合的方法，建立网构软件系统整体及各实体可信性指标的统一计算模型。本项目旨在揭示网构软件系统可信性中主观评价与客观评估、整体指标与个体指标之间关系的规律，为实际应用中选取合适的实体组成可信的网构软件系统提供科学依据。

网构软件为有效进行异构资源整合、充分利用互联网上大量的软件服务提供了有效手段。但随着对网构软件功能需求的不断增加，系统的结构、体系变得日趋复杂，同时由于软件的运行环境从传统的“封闭、静态、可控”环境转变到了“开放、动态、难控”的互联网环境，对可信性保证的要求变得日益突出。本项目从网构软件系统结构与运行环境特征出发，以可信性评估指标及其计算方法为研究对象， 研究了面向整个系统的主客观相结合的可信性评估方法。首先，基于网构软件结构模式分析及实体模型抽象。建立了符合网构软件系统特征的可信性评估体系。从实体个体到系统整体将其结构、行为特征描述抽象清楚。其次，进行了网构软件可信性评估指标体系建模。分析了网构软件实体的静态结构模型与动态行为模型，建立了可信性评估指标集中各指标间的相互依赖关系与层次结构。分析了网构软件结构模式及系统运行环境，构建与之相符合的系统级可信性评估指标，并建立整体指标体系结构模型。最后，建立了网构软件系统整体及各实体可信性指标的统一计算模型。构建了网构软件可信性评估综合实验平台，采用数学计算与实验仿真相结合的方法，建立了面向单个网构软件实体的动态与静态特征相结合的可信性指标计算方法，以及自底向上、由个体到整体的可信性指标统一计算模型。通过本项目的研究，建立了针对系统可信性这一集成属性整体的评估方法，建立了从网构软件实体到系统整体的可信性统一评估方法，建立了网构软件系统建设过程中可信性评估来预测最终系统可信性的方法。本研究建立的网构软件可信性评估综合实验平台，通过对多种系统组合方式的分析，获取实体的最优组合，为网构软件系统构建者提供了由系统构建过程中的各实体、各指标预测建成后系统可信性的平台，并为其选择合适的实体提供科学而实用的计算依据。