基于构件的可信软件设计方法

下载PDF

导出

摘要随着计算技术的快速发展,人们对软件的可信要求越来越高,本文提出了一种基于构件的可信软件设计方法,将软件划分为构件,通过构件关系组织成构件树,对软件进行可信性度量。

作者董利国

机构地区河北大学数学与计算机学院

出处《计算机光盘软件与应用》 2012年第5期188-189,共2页 Computer CD Software and Application

关键词构件软件设计方法

参考文献6

1古亮,郭耀,王华,邹艳珍,谢冰,邵维忠.基于TPM的运行时软件可信证据收集机制[J].软件学报,2010,21(2):373-387. 被引量：18
2文静,王怀民,应时,倪友聪,王涛.支持运行监控的可信软件体系结构设计方法[J].计算机学报,2010,33(12):2321-2334. 被引量：13
3田俊峰,李珍,刘玉玲.一种可信软件设计方法及可信性评价[J].计算机研究与发展,2011,48(8):1447-1454. 被引量：8
4陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(z1):1933-1938. 被引量：116
5S.P.Leblanc,P.A.Roman. Reliability Estimation of Hierarchical Software System,2002[A].2002.
6李良明,王志坚,唐龙业.构件功能行为测试的研究[J].小型微型计算机系统,2010,31(4):686-690. 被引量：5

1陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(z1):1933-1938. 被引量：116
2周明辉,梅宏,焦文品.基于中间件的可定制信任管理框架[J].电子学报,2005,33(5):820-826. 被引量：8
3刘瑞成,张立臣.基于UML的面向方面建模方法[J].计算机科学,2005,32(10):204-209. 被引量：16
4胡军,于笑丰,张岩,王林章,李宣东,郑国梁.基于场景规约的构件式系统设计分析与验证[J].计算机学报,2006,29(4):513-525. 被引量：40
5王怀民,唐扬斌,尹刚,李磊.互联网软件的可信机理[J].中国科学（E辑）,2006,36(10):1156-1169. 被引量：59
6张岩,胡军,于笑丰,张天,李宣东,郑国梁.场景驱动的构件行为抽取[J].软件学报,2007,18(1):50-61. 被引量：16
7沈昌祥,张焕国,冯登国,曹珍富,黄继武.信息安全综述[J].中国科学（E辑）,2007,37(2):129-150. 被引量：364
8Weyuker E J.Testing component based software:a cautionary tale[J].IEEE Software,September,1998,54-59.
9Lions J L.Ariane 5,flight 501 failure[EB/OL].http://www.di.unito.it/-damiani/ariane5rep.html,19 July 1996.
10de Alfaro L,Henzinger T A.Interface automata[C].Proc.of the 9th Annual ACM Symp.on Foundations of Software Engineering (FSE 2001),2001,109-120.

1田俊峰,朱叶.Trust Shell Based Constitution Model of Trusted Software[J].China Communications,2011,8(4):11-22. 被引量：2
2张卫祥,刘文红,杜会森.基于软件测试与知识发现的软件定量评估方法[J].计算机科学,2012,39(S3):28-30. 被引量：2
3郑志明,马世龙,李未,姜鑫,韦卫,马丽丽,唐绍婷.软件可信复杂性及其动力学统计分析方法[J].中国科学（F辑:信息科学）,2009,39(10):1050-1054. 被引量：8
4石海鹤,薛锦云.一组基于PAR的高可靠查找算法程序开发[J].计算机研究与发展,2010,47(S1):204-208. 被引量：2
5沈昌祥,张焕国,王怀民,王戟,赵波,严飞,余发江,张立强,徐明迪.可信计算的研究与发展[J].中国科学：信息科学,2010,40(2):139-166. 被引量：260
6王青,伍书剑,李明树.软件缺陷预测技术[J].软件学报,2008,19(7):1565-1580. 被引量：149
7饶云鹏,王锋.大学生党员走向社会后保持先进性情况的调查研究与思考——以吉首大学为例[J].中国科技信息,2008(17):314-316. 被引量：1
8彭中,毛晓光,谢彬.植入式安全性质监控技术[J].计算机工程,2008,34(B09):60-62.
9万灿军,李长云.动态演化环境中可信软件行为监控研究与进展[J].计算机应用研究,2009,26(4):1201-1204. 被引量：10
10张瞩熹,李仁杰,王怀民.一个面向方面的可信软件开发平台TSCE[J].计算机应用研究,2009,26(5):1743-1745. 被引量：2

计算机光盘软件与应用

2012年第5期

内容加载中请稍等...