摘要
研究软部件设计中的可靠性问题．对这一问题主要关心的是，当一个已存软部件的正确性无法得到确认时，在其具体实现不可知的情况下，如何提高它的运行时可靠性？为解决这一问题，该文首先构造一个能够用于软部件动态语义检测的抽象描述模型；然后通过在设计中系统地引入一些运行时技术以保证基于部件软件的可靠性．这些运行时技术包括：（１）包裹部件．作为额外的一层设计，根据软部件的接口说明自动生成，用于检测运行时错误；（２）虚拟部件．作为一种软部件行为模式，利用动态调用和代理机制。
In this paper, the problem of reliability in the design of software components is studied. What is concerned about in that problem is how to increase the runtime reliability of an existing software component when its correctness is unable to be verified and its detailed implementation is unknown. This paper will firstly build an abstract description model for dynamic semantics detection of software components; then several runtime techniques are introduced systematically to guarantee the reliability of component based software. These runtime techniques include: (1) Wrapper, extra layer of design, generated automatically from component's interface, for detecting runtime errors; (2) Virtual component, a behavior pattern, using the mechanisms of dynamic invocation and broker to guarantee the fault tolerant running of component based software.
出处
《计算机学报》
EI
CSCD
北大核心
1999年第9期970-974,共5页
Chinese Journal of Computers
关键词
部件设计
运行时验证
容错
软件开发
Component based design,runtime validation,semantics consistency,fault tolerance.
