单元测试论文单元测试区间运算不可达路径路径选择.docVIP

单元测试论文：单元自动化测试系统中路径选择方法的研究与设计 【中文摘要】随着信息时代的到来,软件技术突飞猛进,软件产品在社会各个应用扮演着越来越重要的角色。如何保证软件质量一直是计算机技术的热门研究领域。软件测试已经成为了保证软件质量最行之有效的方法,在所有的软件测试中,单元测试是最基本的测试。手动执行单元测试可能需要大量的工作,执行高效率单元测试的关键是自动化。本文简单介绍了目前市场上比较主流的C\C++单元测试软件,接着介绍了以C\C++函数作为测试目标的单元自动化测试系统,包括系统框架、系统主要模块及模块之间的关系以及系统的测试流程。本文提出了一种覆盖元素管理的技术,这种技术介绍了根据控制流图和抽象语法树提取覆盖元素、根据插装消息更新覆盖元素状态和计算覆盖率等三方面的内容。此外,本文还提出了一种路径选择的方法,包括根据控制树和蕴含树选择基本路径、运用区间运算判定不可达路径和重新选择路径,其中重新选择路径提出了分支替换和原子谓词替换两种方法。文章最后给出了一组函数的路径选择结果、不可达路径判定结果和重新选择路径的结果,并对其进行分析。 【英文摘要】With the arrival of information age, the software technique progresses with great speed, the software product is playing more and more important role in each social application. How to guarantee the software quality has been popular in the computer technology research area. The software testing had already become the most effective method for the guarantee of software quality. Unit test is the most basic test among all the software testing methods.Massive work may be needed in manual execution unit test... 【关键词】单元测试 区间运算 不可达路径 路径选择 【英文关键词】unit test interval arithmetic infeasible path path selection 【索购全文】联系Q1：138113721 Q2：139938848 【目录】单元自动化测试系统中路径选择方法的研究与设计 摘要 4-5 ABSTRACT 5 第一章 绪论 9-12 1.1 研究背景 9-10 1.2 研究内容 10 1.3 论文结构 10-12 第二章 单元测试概述 12-17 2.1 单元测试的概念及意义 12-13 2.2 单元测试的工具 13-17 第三章 单元自动化测试系统 17-21 3.1 系统框架 17-19 3.2 系统测试流程 19-21 第四章 覆盖元素管理 21-32 4.1 提取覆盖元素 22-28 4.1.1 标志矛盾边和矛盾节点 22-24 4.1.2 创建覆盖元素集合实例 24-25 4.1.3 提取覆盖元素集合 25-28 4.2 更新覆盖元素的覆盖状态 28-30 4.2.1 覆盖元素覆盖状态设置流程 28-29 4.2.2 计算覆盖率 29-30 4.3 数据结构设计 30-32 4.3.1 覆盖元素数据结构 30 4.3.2 覆盖元素集合数据结构 30-32 第五章 基本路径选择 32-39 5.1 选择目标覆盖元素 32-33 5.2 选择一条路径 33-35 5.3 数据结构设计 35-39 5.3.1 选择路径的数据结构 35-36 5.3.2 存储路径的数据结构 36-39 第六章 不可达路径判定 39-45 6.1 区间运算简介 39-41 6.2 不可达路径 41-42 6.3 数据结构设计 42-45 第七章 路径的重新选择 45-51 7.1 分支替换 47-49 7.2 原子谓词替换 49-51 第八章 实验 51-54 第九章 总结与展望 54-56 9.1 论文总结 54 9.2 进一步的研究 54-56 参考文献 56-58 致谢 58-59 作者攻读学位期间发表的学术论文 59