基于分层递增验证的可信管理软件构造方法

为了保证管理软件在整个生命周期内都具有可信性，在ICEMDA架构基础上融入可信性理论与方法，提出了一种可信管理软件的模型驱动构造参考方法．通过分析国内外的研究现状，明确界定了管理软件可信性概念，给出可信性判定问题描述．结果表明该方法以ICEMDA各层次上的构造体为中心，逐层进行可信模型描述、可信指标度量、可信性判定与优化，借助ICEMDA的模型语义保持技术实现各层间可信性的保持与传递，并以业务构件PSM模型的可信性判定为例简要介绍了该体系的具体实施机制

Construction approach of conridence management softwar based on layered verirication

In this paper, a construction approach of confidence management software is presented to keep theconfidence in the software lifecycle. The originality of the proposed approach is to combine software confidencetheory and model driven development approaches to a consistent approach of Confidence Model Driven Archi-tecture and Methodology. The confidence verification problem of the management software is described clearlyaccording to the existing research results. This approach focuses on the structure elements of the layers inICEMDA, describes the confident model, measures confidence index, verifies and optimizes the confidence ofthe element. The maintenance and transformation of the confidence among the layers is based on the model se-mantic maintenance technology of ICEMDA. The confidence verification of the business component platform -specific model is taken as an example to introduce the implementation mechanism of this approach