基于合约检查的构件化软件测试的研究

发布时间：2021-09-22 14:31

　　近几十年,继面向对象的设计方法之后,基于构件的软件设计开发方法正在逐渐成为新的趋势,并不断成熟和大量推广。作为组成构件化软件基本单元的构件有其自身的特点,使得构件化软件在开发上比传统的结构化编程、面向对象编程更具优势,但是也带来了分析、设计、实现、测试和维护的一系列问题。本文关注的重点就是构件化软件的测试和维护方面的问题。通过对构件技术以及基于构件软件工程（Component-Based Software Engineering,简称CBSE）方法特点的研究,本文从构件使用者和构件集成者的角度分析构件及构件化软件的测试,利用Bertrand Meyer合约化软件设计[1]思想作为构件测试的理论基础,提出了一种新的基于合约的构件化软件集成测试方法,并且讨论了在该种测试方法下相应的故障模型。测试方法具体来说是利用构件生产者提供的构件合约文档对构件接口行为进行描述,约束系统粘贴代码与构件接口的交互过程。然后通过测试框架捕获交互过程、验证其合法性,达到集成测试系统的目标。所以合约使不可见构件的易跟踪性、易测试性获得很大的提升,成为了测试方法的核心。本文针对软件构件化给传统软件测试带来的一系列问... 

【文章来源】：西安理工大学陕西省

【文章页数】：60 页

【学位级别】：硕士

【部分图文】：

测试准备器类图

测试执行器类图

测试评价器类图

【参考文献】：
期刊论文
[1]基于XML的构件化软件集成测试方法研究[J]. 邢传玉,张毅坤,马臻.  计算机工程与应用. 2006(18)
[2]软件测试研究进展[J]. 单锦辉,姜瑛,孙萍.  北京大学学报(自然科学版). 2005(01)
[3]基于XML的软件构件查询匹配算法研究[J]. 徐如志,钱乐秋,程建平,王渊峰,朱三元.  软件学报. 2003(07)
[4]构件软件的测试问题综述[J]. 景涛,白成刚,胡庆培,蔡开元.  计算机工程与应用. 2002(24)

硕士论文
[1]构件化软件集成测试研究[D]. 尚绪全.西安理工大学 2005



本文编号：3403916