业务构件可信性的保证机制及其度量研究初探.pdfVIP

摘 要 随着软件规模的不断扩大 人们对软件生产效率和软件质量的要求越来越高 基于构件的软件开发 Component-based Software Development CBSD 已经成为软 件技术必然趋势之一 业务构件 Business Component 作为独立的 可重用性基本 元素 是基于构件的系统 Component-based System CBS 的基本构成单元 因此 业务构件的可信性决定了CBS 的可信性 然而 目前对业务构件的研究主要集中于 构件识别 重用模式和粒度优化等领域 而对业务构件的可信性则较少给予关注 因此 本文运用形式化方法从概念逻辑层面对业务构件的可信性进行了初步的探讨 本文既从构件开发者角度建立了业务构件可信性的保证机制 又从构件使用者角度 给出了业务构件可信性的度量方法 为保证业务构件的可信性提供了理论基础与方 法支持 首先 本文指出了业务构件可信性研究在 CBS 开发过程中的重要意义 综述了 业务构件可信性的国内外研究现状 并在此基础上确定了总的研究方向与框架 同 时界定了业务构件的可信性的定义及相关概念 并提出了运用形式化方法在业