基于组件执行树模型的集成测试方法研究

发布时间：2021-08-06 15:34

　　现如今,随着软件复杂度的提升,基于组件的软件开发方法越来越被开发人员所青睐,相关的质量保证技术和方法也成为重要的研究内容。虽然组件在集成到应用环境之前,已经进行了严格的单元测试,但这并不能保证集成后的软件系统不会出现问题。同时,考虑到测试成本问题,有必要使用自动化集成测试技术来保证基于组件的软件系统质量。在基于组件的软件系统中,集成测试主要检测组件间的交互是否被正确地实现,所以也被称为组件交互测试。UML协作图作为UML交互图之一,使用有序消息描述了组件间的协作和交互关系,是良好的集成测试模型。另外,合约作为组件间的交互规则,描述了调用组件前后必须满足的约束条件,能够为测试用例的生成提供依据。据此,本文通过在UML协作图中嵌入合约,提出了基于组件执行树模型的自动集成测试方法。本文的研究工作主要分为以下三个方面:（1）提出了组件执行树模型及其构建方法。基于组件的软件系统通过一个个组件之间的交互,实现特定的功能。本文以组件执行树的形式,将系统功能执行过程中,组件之间的交互关系清晰直观地展示出来。同时,利用协作图中的控制流信息,结合作为组件规范的合约,建立组件执行树模型。（2）提出了基于组件... 

【文章来源】：南华大学湖南省

【文章页数】：77 页

【学位级别】：硕士

【部分图文】：

一个简单的协作图

含故障类型 B（或称为故障类型 A 强于故障类型 B，记作 A→B），这意味着测试用例集 S 如果能检测出故障类型 A，则它也一定能检测出故障类型 B。根据故障类型之间的包含关系，可以集中精力测试较强的故障类型，从而降低测试成本。不同故障类型之间的包含关系研究主要是面向 DNF 和 GF 布尔表达式。对于 DNF 布尔表达式，不同故障类型之间的包含关系研究工作[26] -[30]以逐层递进的方式，从表达式层次开始，逐渐深入细化到乘积项、操作符、变量、文字和括号层次。然而，在实际应用中，原始的布尔表达式更多是以 GF 形式呈现，而且从 GF 到 IDNF 的转换也可能将原本的单个故障扩大为多个故障[31]。因此，有研究者探索了 GF 布尔表达式的部分故障类型包含关系[32] -[33]。图 2.2 总结了现有的故障类型包含关系。

软件工程总工作量的 40%以上。因此，使该过程自动化便具有重要意义，这样可以显著降低软件测试的成本并提高其效率。为了实现基于组件的软件系统的自动化集成测试，本章根据上一章介绍的方法，开发了一个基于组件执行树模型的测试工具。4.1 测试工具的设计4.1.1 工具架构基于组件执行树模型的测试工具主要由 UML 协作图和合约信息获取模块、组件执行树模型建立模块、路径约束确定模块和集成测试用例生成模块等几部分组成，具体架构如图 4.1 所示。

【参考文献】：
期刊论文
[1]求解SAT问题的算法的研究进展[J]. 郭莹,张长胜,张斌.  计算机科学. 2016(03)
[2]SMT求解技术简述[J]. 金继伟,马菲菲,张健.  计算机科学与探索. 2015(07)
[3]一种面向交互代码的构件合约化测试方法[J]. 赵艳妮,郭华磊.  西安科技大学学报. 2014(03)
[4]基于合约状态检查的构件易测试研究[J]. 赵艳妮,郭华磊.  现代电子技术. 2014(10)
[5]带OCL约束的多态路径测试线索生成方法[J]. 曾一,刘青香,王翠钦,洪豪.  计算机工程. 2013(08)
[6]基于UML模型和OCL约束的类间交互测试用例生成方法研究[J]. 柴玉梅,冯秋燕,王黎明.  电子学报. 2013(06)
[7]基于故障的布尔表达式测试技术综述[J]. 孙昌爱,程庆顺.  计算机科学. 2013(03)
[8]一种新的布尔规格测试用例生成算法[J]. 李磊芳,徐宝文,陈振宇,章晓芳,董国伟.  东南大学学报(自然科学版). 2010(02)



本文编号：3326033