基于契约的CORBA组件测试方法研究
发布时间：2022-01-27 06:48
随着软件开发技术不断变更和计算机网络的迅猛发展,大量软件系统采用基于CORBA的组件技术开发。CORBA组件的软件测试是基于CORBA的软件系统开发中不可或缺的一环,是保证软件质量、提高软件可靠性的关键。CORBA组件作一种分布式组件对象模型,相对于传统的软件系统在软件测试方法上有其特殊的要求。在分析CORBA组件的可测试性的基础上,给出了一种基于契约的组件测试方法。该方法以契约的思想为基础,采用契约来定义CORBA组件行为,通过静态和动态测试CORBA组件对契约的遵守情况来测试CORBA组件的可靠性。根据这种测试方法,设计了一个基于契约的CORBA组件的测试框架CBTA。CORBA组件软件错误的主要来源地之一就是复杂的CORBA异常机制。此类错误不易于发现、复现和调试,是软件测试中的难点,因而着重分析了CORBA异常测试方法。由于传统的契约思想不支持异常,扩展了契约的概念使之适用于异常机制,并以此为基础分析CORBA组件异常错误的特性,给出了一种针对CORBA组件异常机制的软件测试方法。在上述研究工作的基础上,设计并实现了基于契约的CORBA组件测试框架CBTA的基本功能,着重分析了...
【文章来源】：华中科技大学湖北省211工程院校985工程院校教育部直属院校
【文章页数】：63 页
【学位级别】：硕士
【部分图文】：
ORB体系结构图
图 2.3 BufferManager 与 Buffer 的逻辑结构ffer 接口也可以这样定义，Buffer 接口的契约定义如下。Buffer DataStat 状态正确。内部缓冲数据结构正确有效ram 操作：前置条件：Buffer 对象已被初始化请求的业务逻辑存在后置条件：请求的业务逻辑被调用，返回值给出调用是否成功业务调用的结果正确地保存到 buffer 中状态为 LASTANDFIRST_DATA 或 FIRST_DATA 操作：前置条件：Buffer 对象中有缓冲数据，状态不是 LAST_DATA
图 2.4 CORBA 组件测试的三个阶段图 2.5 描述了测试框架 CBTA 的结构图。图中实线表示的是实际的业务逻辑虚线表示的是测试信息流。CBTA 框架主要由测试用例管理器 TM，客户模，测试分析器、被测组件 TC 及其中插装的契约代码块 EC、测试用例库和测个部分组成。
【参考文献】：
期刊论文
[1]多数据库系统查询优化算法的研究[J]. 邓曦,卢正鼎,张巍,张立明. 小型微型计算机系统. 2004(03)
本文编号：3611984
【文章来源】：华中科技大学湖北省211工程院校985工程院校教育部直属院校
【文章页数】：63 页
【学位级别】：硕士
【部分图文】：
ORB体系结构图
图 2.3 BufferManager 与 Buffer 的逻辑结构ffer 接口也可以这样定义，Buffer 接口的契约定义如下。Buffer DataStat 状态正确。内部缓冲数据结构正确有效ram 操作：前置条件：Buffer 对象已被初始化请求的业务逻辑存在后置条件：请求的业务逻辑被调用，返回值给出调用是否成功业务调用的结果正确地保存到 buffer 中状态为 LASTANDFIRST_DATA 或 FIRST_DATA 操作：前置条件：Buffer 对象中有缓冲数据，状态不是 LAST_DATA
图 2.4 CORBA 组件测试的三个阶段图 2.5 描述了测试框架 CBTA 的结构图。图中实线表示的是实际的业务逻辑虚线表示的是测试信息流。CBTA 框架主要由测试用例管理器 TM，客户模，测试分析器、被测组件 TC 及其中插装的契约代码块 EC、测试用例库和测个部分组成。
【参考文献】：
期刊论文
[1]多数据库系统查询优化算法的研究[J]. 邓曦,卢正鼎,张巍,张立明. 小型微型计算机系统. 2004(03)
本文编号：3611984
本文链接：https://www.wllwen.com/falvlunwen/hetongqiyue/3611984.html
