学位论文 > 优秀研究生学位论文题录展示
基于合约的构件测试数据生成及复用方法的研究与实现
作 者: 张海旺
导 师: 姜瑛
学 校: 昆明理工大学
专 业: 计算机应用技术
关键词: 构件测试 合约 测试数据生成 测试数据复用
分类号: TP311.52
类 型: 硕士论文
年 份: 2009年
下 载: 13次
引 用: 0次
阅 读: 论文下载
内容摘要
软件开发过程中如果大量使用可复用的软件构件不仅可以提高生产率、降低生产成本、缩短开发周期,而且可以提高软件系统的灵活性和标准化程度。构件的高质量是构件能被成功复用的前提,构件测试正是保证构件质量的重要技术手段。通常情况下构件以接口对外呈现其功能,由于构件固有的特点,使得构件开发者和构件复用者都要对其进行充分地测试。测试数据生成是构件测试中的重要内容,直接影响到测试的效率和代价。本文基于构件的合约生成和复用测试数据。由于合约的类型不同,我们针对简单合约与复杂合约两种情形分别生成测试数据。针对简单合约采用等价类划分、取随机值、边界值选取相合的方法;针对复杂合约首先联立各复杂合约组成线性方程组,再采用高斯消元法求解线性方程组,得到相关测试数据。为了提高测试效率,保证测试质量,在生成测试数据的基础上提出基于合约的测试数据复用方法,此方法根据新合约与初始合约之间的关系,复用先前有效测试数据。复用测试数据时,需要区分各种不同合约的情况。本文采用B/S结构实现了基于合约的构件测试数据生成及复用的支持工具,此工具可供构件开发者和构件复用者使用,构件开发者可依据初始合约生成测试数据,构件复用针对新合约既可重新生成测试数据,也可复用先前有效测试数据;初始测试数据生成后,可采用变异技术对测试数据进行筛选,使用测试数据执行构件,得到实际运行结果。此工具可降低测试代价、减轻测试人员的工作强度,为构件测试提供了较好的支持。最后,本文通过大量实验验证了基于合约的构件测试数据生成及复用方法的有效性及其支持工具的可用性。
|
全文目录
摘要 3-4 Abstract 4-6 目录 6-8 第一章 引言 8-14 1.1 研究背景和选题意义 8-10 1.1.1 研究背景 8-10 1.1.2 选题意义 10 1.2 国内外研究现状 10-13 1.2.1 构件测试数据生成方面的研究 11-12 1.2.2 测试数据复用方面的研究 12 1.2.3 存在的问题 12-13 1.3 本文工作及章节安排 13 1.4 本章小结 13-14 第二章 系统分析与设计 14-22 2.1 相关技术 14-16 2.1.1 构件的易测试性 14-16 2.1.2 基于合约的构件测试数据生成 16 2.2 系统分析 16-18 2.2.1 功能需求 16-18 2.3 系统设计 18-21 2.3.1 体系结构设计 18-19 2.3.2 类图设计 19-20 2.3.3 数据层设计 20-21 2.4 本章小结 21-22 第三章 基于合约的构件测试数据生成方法 22-31 3.1 获取构件接口信息及合约信息 22-24 3.1.1 获取构件接口信息 22-23 3.1.2 获取构件合约信息 23-24 3.2 基于简单合约/复杂合约的测试数据生成 24-29 3.2.1 基于简单合约的测试数据生成 24-26 3.2.2 基于复杂合约的测试数据生成 26-29 3.3 基于前置条件/前置条件、后置条件、不变式的测试数据生成 29-30 3.3.1 基于前置条件的测试数据生成 29 3.3.2 基于前置条件、后置条件、不变式的测试数据生成. 29-30 3.4 本章小结 30-31 第四章 基于合约的构件测试数据复用方法 31-39 4.1 基于前置条件的测试数据复用 31-36 4.1.1 生成测试数据 31-34 4.1.2 添加及删除测试数据 34-35 4.1.3 减少测试数据量 35-36 4.2 不同合约情况下复用方法的使用 36-38 4.2.1 合约说明的参数不同 36-37 4.2.2 初始合约与新合约的不同 37-38 4.3 本章小结 38-39 第五章 系统实现与实验 39-51 5.1 系统实现 39-43 5.1.1 界面及相关功能 39-41 5.1.2 执行测试及分析测试结果 41-43 5.2 实验及结果分析 43-50 5.2.1 基于简单合约与复杂合约生成测试数据 43-44 5.2.2 基于不同类型合约生成测试数据 44-46 5.2.3 基于前置条件的构件测试数据复用 46-50 5.3 本章小结 50-51 第六章 总结与展望 51-53 6.1 本文主要工作总结 51 6.2 下一阶段工作展望 51-52 6.3 本章小结 52-53 致谢 53-54 参考文献 54-57 附录A 硕士期间发表论文及参与课题 57
|
相似论文
- 基于代理商报酬合约设计的渠道控制研究,F224
- 远期和期货在对冲国外资产风险中的比较,F713.35
- 基于服务需求的自动测试技术研究,TP311.52
- 房地产开发企业招标阶段的合约管理研究,F284
- RY公司库存管理和运输问题的研究,F426.6
- 试论煤矿安全规制的合约选择,X936
- 中国煤炭市场分析及动力煤期货合约设计,F724.5
- 初中英语教学组织形式的创新实践研究,G633.41
- 变异技术在测试数据优化中的研究及实现,TP311.52
- 基于供应链的中小企业质押融资合约研究,F275
- 构件测试信息表示与检索的研究与实现,TP311.52
- 基于系统动力学的技术交易市场研究,F224
- 基于LA-VaR的股指期货风险管理研究,F830.91
- 企业特许经营合约设计与监督问题研究,F721.7
- 基于SOA的设备巡检系统研究,TP274.4
- 正规金融与农民专业合作社合作的利益分配研究,F832.3
- 违约过程为马氏链的信用违约互换定价研究,F832.5
- 香港建筑业合约分判与二级管理模式,F426.92
- 基于模拟退火算法的EFSM模型测试数据自动生成,TP311.52
- 基于改进型遗传算法的面向路径测试数据生成,TP311.53
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com
|