收藏本站
《第六届中国测试学术会议论文集》2010年
收藏 | 手机打开
二维码
手机客户端打开本文

基于UML的可信概念模型

王承松  毛晓光  雷晏  王燕妮  
【摘要】:随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,本文应用UML语言建立了计算机系统的可信概念模型.首先给出了可信概念的高层次抽象UML类图,然后分别描述了可信性质、可信威胁和可信保障技术的UML模型,其中重点介绍了系统失效机理和系统容错技术的概念模型.最后,本文指出以UML为基础的软件可信技术有可能成为开发高可信性计算机系统的发展趋势.

【参考文献】
中国期刊全文数据库 前1条
1 蒋乐天,徐国治;软件缺陷及软件可靠性技术[J];计算机仿真;2004年02期
中国博士学位论文全文数据库 前1条
1 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年
【共引文献】
中国期刊全文数据库 前3条
1 王玉琳;经济型数控系统的软件抗干扰技术[J];制造业自动化;2005年04期
2 杨仕平,熊光泽,桑楠,吴新勇;高可信软件的防危性评估研究[J];计算机工程与设计;2004年02期
3 魏乐;叶剑新;黄健;;可信计算的初步研究[J];科技资讯;2007年13期
中国博士学位论文全文数据库 前5条
1 杨仕平;分布式任务关键实时系统的防危(Safety)技术研究[D];电子科技大学;2004年
2 张凯;软件缺陷混沌分形描述与软件质量进化度量的研究[D];武汉理工大学;2005年
3 周卫东;组合导航系统应用软件可靠性研究[D];哈尔滨工程大学;2006年
4 游静;细粒度软件抗衰策略及相关技术研究[D];南京理工大学;2006年
5 庞永刚;基于事件注入技术的网络可信性评测研究[D];哈尔滨工程大学;2007年
中国硕士学位论文全文数据库 前10条
1 张杰斌;软交换中SIGTRAN协议的研究与应用[D];华中科技大学;2004年
2 胡庆平;新型心跳监测技术的研究与实现[D];华中科技大学;2004年
3 阮航;基于CMM的软件缺陷跟踪管理平台的设计与实现[D];吉林大学;2005年
4 冯增勇;软交换服务器公共协议平台解决方案及其分布式HA的研究与实现[D];华中科技大学;2004年
5 李磊;基于Windows API的通用型缺陷植入模型的研究与设计[D];湖南大学;2005年
6 张丽琮;基于MC68332和μC/OS-Ⅱ的嵌入式数控系统研究[D];天津工业大学;2006年
7 秦志斌;自主移动机器人高可靠性软件体系结构研究[D];浙江大学;2006年
8 陈强;三维数控镂铣机参数与结构设计[D];哈尔滨理工大学;2006年
9 殷立鹤;软件恢复的性能监测工具(PERFMON)的设计与实现[D];南京理工大学;2006年
10 戴子河;提高空管系统可靠性的若干关键技术研究[D];四川大学;2006年
【二级参考文献】
中国期刊全文数据库 前10条
1 丛珉,陆民燕,白云峰;软件可靠性预计方法研究及实现[J];北京航空航天大学学报;2002年01期
2 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
3 周明天;谭良;;可信计算及其进展[J];电子科技大学学报;2006年S1期
4 黎忠文,雷航,熊光泽;可降级现场总线网系统可靠性的评价方法[J];电子学报;2001年02期
5 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
6 陈雪松,陆民燕,阮镰;软件可靠性测试数据生成方法研究[J];航空学报;2001年06期
7 沈昌祥;张焕国;冯登国;曹珍富;黄继武;;信息安全综述[J];中国科学(E辑:信息科学);2007年02期
8 胡瑜,韩银和,李晓维;SOC可测试性设计与测试技术[J];计算机研究与发展;2005年01期
9 韩冰青,高建华;基于模拟退火遗传算法的软件可靠性分配及研究[J];计算机工程;2003年04期
10 闵应骅;可信系统与网络[J];计算机工程与科学;2001年05期
中国博士学位论文全文数据库 前6条
1 黎忠文;分布式控制系统中新安全保障技术的研究——安全核技术[D];电子科技大学;2001年
2 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年
3 杨仕平;分布式任务关键实时系统的防危(Safety)技术研究[D];电子科技大学;2004年
4 吴新勇;嵌入式操作系统安全保障技术研究[D];电子科技大学;2003年
5 向生建;安全中间件系统关键技术研究[D];电子科技大学;2006年
6 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年
中国硕士学位论文全文数据库 前5条
1 韩冰青;基于遗传算法的软件可靠性分配应用研究[D];上海师范大学;2003年
2 于逊;基于反射技术的防危核研究与实现[D];电子科技大学;2003年
3 杨霞;嵌入式操作系统信息安全核技术的研究与实现[D];电子科技大学;2004年
4 徐蓉;实时系统的内存管理技术研究与实现[D];电子科技大学;2004年
5 王亮;实时操作系统容错调度技术的研究与实现[D];电子科技大学;2004年
【相似文献】
中国期刊全文数据库 前10条
1 张勇;夏树发;钟昌乐;;基于UML的网络课程CMS系统设计与实现[J];信息技术;2011年06期
2 陈雪梅;;基于工作流技术的实验室管理系统开发[J];科技信息;2011年21期
3 刘若冰;;基于UML的助学贷款管理系统的设计[J];经营管理者;2011年12期
4 李书宁;;用户情景敏感数字信息服务的概念模型[J];图书情报工作;2011年07期
5 文敏;;基于UML的图书馆应用系统的设计[J];福建电脑;2011年06期
6 魏红娟;;基于UML的“用况驱动”在软件开发过程中的作用分析[J];新乡学院学报(自然科学版);2011年03期
7 闻立民;;一种基于统一建模语言的系统测试方法[J];科技传播;2011年15期
8 杜博;;高校实验室管理系统的设计与实现[J];电子设计工程;2011年15期
9 陈志刚;许锦洲;韦晓萍;;基于UML的舰艇编队防空作战视图描述[J];舰船电子工程;2011年08期
10 秦乐阳;;基于UML的网络课堂教学系统设计[J];软件;2011年05期
中国重要会议论文全文数据库 前10条
1 余沛毅;;概念模型的描述方法分析比较[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
2 王承松;毛晓光;雷晏;王燕妮;;基于UML的可信概念模型[A];第六届中国测试学术会议论文集[C];2010年
3 刘玉平;陈小雷;梁钰;王丛梅;;太行山东麓致洪暴雨的天气概念模型[A];中国气象学会2005年年会论文集[C];2005年
4 刘玉平;陈小雷;梁钰;王丛梅;;太行山东麓致洪暴雨的天气概念模型[A];中国气象学会2005年年会论文集[C];2005年
5 李文飞;;土质滑坡地质概念模型及隐患区的预测[A];突发地质灾害防治与减灾对策研究高级学术研讨会论文集[C];2006年
6 曾小春;文启湘;;陕西城乡经济与军工企业共同发展模式研究[A];陕西省体制改革研究会2007优秀论文集[C];2007年
7 黎明碧;金翔龙;方银霞;;海底天然气水合物资源评价的概念模型[A];2000年中国地球物理学会年刊——中国地球物理学会第十六届年会论文集[C];2000年
8 李亚俊;;时间 空间 宇宙的本质[A];提高全民科学素质、建设创新型国家——2006中国科协年会论文集(下册)[C];2006年
9 郭中伟;李典谟;伍玉明;;生物多样性信息系统的概念模型与基本模式[A];生物多样性研究进展——首届全国生物多样性保护与持续利用研讨会论文集[C];1994年
10 吕宪国;王建华;;中国沿海湿地概念生态模型研究[A];中国地理学会2007年学术年会论文摘要集[C];2007年
中国重要报纸全文数据库 前10条
1 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(五)[N];国际商报;2002年
2 阿航;UML面向对象分析[N];中华读书报;2002年
3 刘丽华 金水高 梁子柱;公共卫生信息概念的模型[N];计算机世界;2006年
4 邓志华 许彬 刘志萍;江西:概念模型提供预报支撑[N];中国气象报;2008年
5 ;概念模型捕捉“西南低涡”[N];中国气象报;2008年
6 对外经济贸易大学信息学院 曹景广;用UML实现ERP系统建模(一)[N];国际商报;2002年
7 崔荣理、记者 范炬炜;我军构建一体化物资采购保障新概念模型[N];解放军报;2006年
8 ;麒麟远创电信整合平台方案[N];计算机世界;2006年
9 中国电信股份有限公司上海研究院 季鸿;基于客户心理和体验开发电信产品[N];人民邮电;2007年
10 本报记者 张华甲;力破产业瓶颈 中软协培育UML建模人才[N];中国工业报;2010年
中国博士学位论文全文数据库 前10条
1 王霞;卫生统计调查元数据概念模型的研究[D];第四军医大学;2006年
2 穆肃;语义网技术支持的远程教育机构知识管理系统概念建模的研究[D];华南师范大学;2007年
3 王勇;复杂仿真系统概念模型建立与评估方法研究[D];哈尔滨工业大学;2010年
4 颜炯;基于UML的软件统计测试研究[D];国防科学技术大学;2005年
5 杨静;UML模型的语义模型[D];贵州大学;2006年
6 林岭;运动性心理疲劳的概念模型、多维检测、影响因素及干预措施[D];北京体育大学;2006年
7 王铁骊;基于敏捷性的制造企业组织变革研究[D];中南大学;2007年
8 包世泰;基于GIS的地质勘察信息模型研究及其应用[D];中国科学院研究生院(广州地球化学研究所);2004年
9 朱家诚;基于Web Services的客户定制产品设计系统研究[D];合肥工业大学;2005年
10 包慧娟;沙漠化地区可持续发展研究[D];中国科学院研究生院(东北地理与农业生态研究所);2004年
中国硕士学位论文全文数据库 前10条
1 刘茵;远程数据采集系统体系结构研究[D];中南大学;2005年
2 关键;P2P网络的面向对象分析设计与实现[D];暨南大学;2005年
3 罗卫国;基于用户交互行为的建模方法研究[D];山东大学;2007年
4 白学明;纹织网络化制造服务平台的设计与实现[D];山东大学;2006年
5 曾天慧;基于J2EE与UML的Web多层应用体系研究与应用[D];兰州理工大学;2006年
6 李富雄;基于INTERNET的统一支付平台[D];广东工业大学;2005年
7 王鹏;基于.net的网络评审系统的设计与实现[D];山东大学;2005年
8 杨正益;基于建模工具的通用类生成器的研究[D];重庆大学;2005年
9 冯海东;2D游戏图形引擎开发及UML建模实现[D];四川大学;2005年
10 谢子松;基于J2EE的工作流引擎的研究与实现[D];南昌大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026