位置:成果数据库 > 期刊 > 期刊详情页
基于分层递增验证的可信管理软件构造方法
  • ISSN号:0367-6234
  • 期刊名称:《哈尔滨工业大学学报》
  • 时间:0
  • 分类:TP3[自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]哈尔滨工业大学计算机科学与技术学院,哈尔滨150001, [2]北京卫星制造厂,北京100094
  • 相关基金:国家自然科学基金资助项目(60773064)
中文摘要:

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

英文摘要:

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 Architecture 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 semantic 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.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《哈尔滨工业大学学报》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国工业和信息化部
  • 主办单位:哈尔滨工业大学
  • 主编:冷劲松
  • 地址:哈尔滨市南岗区西大直街92号
  • 邮编:150001
  • 邮箱:
  • 电话:0451-86403427 86414135
  • 国际标准刊号:ISSN:0367-6234
  • 国内统一刊号:ISSN:23-1235/T
  • 邮发代号:14-67
  • 获奖情况:
  • 2000年获黑龙省科技期刊评比一等奖,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国化学文摘(网络版),美国数学评论(网络版),德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:27329