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

为了保证管理软件在整个生命周期内都具有可信性，在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 the confidence in the software lifecycle. The originality of the proposed approach is to combine software confidence theory 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 clearly according to the existing research results. This approach focuses on the structure elements of the layers in ICEMDA, describes the confident model, measures confidence index, verifies and optimizes the confidence of the 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