学位论文 > 优秀研究生学位论文题录展示

单元自动化测试系统中路径选择方法的研究与设计

作　者: 李青翠
导　师: 宫云战
学　校: 北京邮电大学
专　业: 计算机科学与技术
关键词: 单元测试区间运算不可达路径路径选择
分类号: TP311.52
类　型: 硕士论文
年　份: 2011年
下　载: 66次
引　用: 1次
阅　读: 论文下载

内容摘要

随着信息时代的到来,软件技术突飞猛进,软件产品在社会各个应用扮演着越来越重要的角色。如何保证软件质量一直是计算机技术的热门研究领域。软件测试已经成为了保证软件质量最行之有效的方法,在所有的软件测试中,单元测试是最基本的测试。手动执行单元测试可能需要大量的工作,执行高效率单元测试的关键是自动化。本文简单介绍了目前市场上比较主流的C\C++单元测试软件,接着介绍了以C\C++函数作为测试目标的单元自动化测试系统,包括系统框架、系统主要模块及模块之间的关系以及系统的测试流程。本文提出了一种覆盖元素管理的技术,这种技术介绍了根据控制流图和抽象语法树提取覆盖元素、根据插装消息更新覆盖元素状态和计算覆盖率等三方面的内容。此外,本文还提出了一种路径选择的方法,包括根据控制树和蕴含树选择基本路径、运用区间运算判定不可达路径和重新选择路径,其中重新选择路径提出了分支替换和原子谓词替换两种方法。文章最后给出了一组函数的路径选择结果、不可达路径判定结果和重新选择路径的结果,并对其进行分析。

全文目录

摘要  4-5
ABSTRACT  5-9
第一章绪论  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

单元自动化测试系统中路径选择方法的研究与设计

内容摘要

全文目录

相似论文