收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于部件设计的运行时验证

云晓春  方滨兴  
【摘要】:研究软部件设计中的可靠性问题.对这一问题主要关心的是,当一个已存软部件的正确性无法得到确认时,在其具体实现不可知的情况下,如何提高它的运行时可靠性?为解决这一问题,该文首先构造一个能够用于软部件动态语义检测的抽象描述模型;然后通过在设计中系统地引入一些运行时技术以保证基于部件软件的可靠性.这些运行时技术包括:(1)包裹部件.作为额外的一层设计,根据软部件的接口说明自动生成,用于检测运行时错误;(2)虚拟部件.作为一种软部件行为模式,利用动态调用和代理机制,保障基于部件软件的容错运行

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 罗大卫;基于软部件和构架技术的CAI软件[J];现代计算机;1998年10期
2 游晓明,刘升;基于软部件的MIS开发方法研究[J];湖北师范学院学报(自然科学版);1999年04期
3 罗大卫;CAI软部件的设计[J];微电子学与计算机;1998年06期
4 罗大卫;基于软部件的CAI软件体系结构[J];电化教育研究;2000年05期
5 云晓春,方滨兴;基于部件设计的可靠性研究[J];计算机工程;1999年05期
6 罗大卫;用软部件和构架技术开发CAI软件[J];现代计算机;1998年01期
7 程学先,程传庆,王莉;信息系统基于即插即用型软部件的软件结构模型法[J];武汉理工大学学报(交通科学与工程版);2003年04期
8 ;“MIS软部件技术研究”经鉴定为达到国际先进水平[J];湖北工业大学学报;2005年02期
9 徐小平;基于对象的软件重用技术研究[J];计算机应用研究;1998年03期
10 罗大卫,高宏宾;软部件和构架式CAI系统开发平台的总体设计[J];五邑大学学报(自然科学版);1998年03期
11 孙大烈,杨静,王子立;基于对象的软件重用技术研究[J];哈尔滨建筑大学学报;2000年03期
12 余金山,万静;一个基于Internet的软部件信息系统的研究和实现[J];信息与控制;2002年04期
13 罗大卫;CAI系统的面向对象分析[J];五邑大学学报(自然科学版);1996年04期
14 徐永剑,罗大卫;软部件式CAI软件开发平台的体系结构[J];现代计算机;1998年05期
15 王学军,金连甫,陈平;CT流程预编译器的设计[J];计算机工程;1999年04期
16 魏延;软件重用技术[J];重庆师范学院学报(自然科学版);1999年02期
17 马会钧,张子公;人工智能的一种新应用──柔性CAD/CAM系统的开发[J];计算机辅助工程;1995年02期
18 韩庆兰,杨柳;从领域研究探求软件集成途径[J];计算技术与自动化;1998年03期
19 Anthony I.Wasserman;L.A.Belady;杨全安;;软件工程发展的转折点[J];计算机科学;1979年05期
20 Murray Wood Prof;Lan Sommerville;宁洪;;软部件信息检索系统[J];计算机工程与科学;1989年03期
中国重要会议论文全文数据库 前1条
1 张晨东;徐光;;基于控件的作战模拟系统开发方法[A];第七届计算机模拟与信息技术学术会议论文集[C];1999年
中国硕士学位论文全文数据库 前10条
1 金珊;针对中小型软件企业的可复用软部件库的模型及管理研究[D];上海交通大学;2007年
2 王士成;软件复用技术在卫星运行控制领域中的应用[D];西安电子科技大学;2009年
3 任俊威;C#代码升级系统通用工具开发[D];吉林大学;2007年
4 梁睿;基于运行时验证的AOP程序检测框架研究[D];兰州大学;2009年
5 肖逸军;基于组件的软件开发研究与应用[D];西南石油学院;2004年
6 尚军;信息采集系统的可复用软件设计[D];华中科技大学;2006年
7 焦洪雷;基于软件复用技术的邮政综合服务平台研究[D];哈尔滨工程大学;2007年
8 曹彦婷;可复用日志构件的设计与实现[D];苏州大学;2007年
9 郑新新;电磁兼容自动测试平台的架构与实现[D];西安电子科技大学;2009年
10 王逊;新京报信息发布管理系统[D];吉林大学;2009年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978