《计算机学报》文章摘要 全文下载 | |
文章题目 | 基于部件设计的运行时验证 |
作者 | 云晓春 方滨兴 |
作者单位 | (哈尔滨工业大学计算机科学与工程系 哈尔滨 150001) |
发表年份 | 1999 |
发表月份 | 9期 (页码:970—974) |
文章摘要 | 研究软部件设计中的可靠性问题.对这一问题主要关心的是,当一个已存软部件的正确性无法得到确认时,在其具体实现不可知的情况下,如何提高它的运行时可靠性?为解决这一问题,该文首先构造一个能够用于软部件动态语义检测的抽象描述模型;然后通过在设计中系统地引入一些运行时技术以保证基于部件软件的可靠性.这些运行时技术包括:(1)包裹部件.作为额外的一层设计,根据软部件的接口说明自动生成,用于检测运行时错误;(2)虚拟部件.作为一种软部件行为模式,利用动态调用和代理机制,保障基于部件软件的容错运行. 关键词 基于部件设计,运行时验证,语义一致性,容错. |