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

基于语义的软件可测试性度量的研究与应用

作　者: 甄晓丽
导　师: 江国华
学　校: 南京航空航天大学
专　业: 计算机应用技术
关键词: 可测试性 DRR PIE 语义差异 易检测性 可定位性
分类号: TP311.52
类　型: 硕士论文
年　份: 2007年
下　载: 102次
引　用: 0次
阅　读: 论文下载
 

内容摘要


软件可测试性是指软件在特定的输入分布下进行随机黑盒测试时,暴露故障的能力。软件的可测试性是衡量软件测试难易程度的一个重要指标,在测试的过程中可以指导测试进行的深度,确保测试资源进行合理分配。而语义信息在软件的可测试性度量方面有着重要的作用,通过对语义信息的计算可以从某种程度上衡量软件可测试性的好坏。本文在研究了大量的文献资料的基础上,建立了软件的可测试性与语义信息之间的联系。本文首先介绍了软件的可测试性以及影响可测试性的因素,然后对目前所存在的度量软件可测试性的几种主要方法进行分析比较,在此基础上提出了一种新的度量软件可测试性的方法——基于语义错误大小的软件可测试性度量方法;接着在研究了硬件可测试性度量指标的基础上,并结合软件测试本身的特点,提出了两个新的衡量软件可测试性的指标:错误易检测性和错误可定位性;然后介绍了计算这两个指标的关键技术,也就是程序语义的计算,并且对其中的一种计算程序语义的方法——输入输出依赖关系法进行了改进,弥补了该方法对指针的处理不够精确的缺点,提高了计算的精度。最后,本文提出了一个“软件语义计算系统”的原型系统设计框架。该系统一方面可以针对同一个软件新旧两个不同的版本,产生这两个版本之间的差异程序;另一方面可以针对程序语句中的某个变量,产生与该变量语义相关的所有语句集合。利用该系统的这两个结果,我们就可以计算关于可测试性的新的度量指标。

全文目录


摘要  4-5
ABSTRACT  5-9
第一章 绪论  9-13
  1.1 研究背景和意义  9-10
  1.2 国内外研究现状  10-11
  1.3 课题主要研究内容及组织结构  11-13
第二章 软件可测试性  13-25
  2.1 软件可测试性与信息丢失  13-17
    2.1.1 隐式信息丢失  15-16
    2.1.2 显式信息丢失  16-17
  2.2 软件可测试性的度量  17-21
    2.2.1 DRR 与软件可测试性  17-18
    2.2.2 利用PIE 度量软件的可测试性  18-21
  2.3 提高软件可测试性的方法  21-24
    2.3.1 利用DRR 技术提高软件的可测试性  21
    2.3.2 利用插入断言和敏感性分析  21-22
    2.3.3 利用域的可测试性提高软部件的可测试性  22-24
  2.4 本章小结  24-25
第三章 软件语义与可测试性度量  25-39
  3.1 软件语义  25
  3.2 语义错误大小与软件可测试性  25-31
    3.2.1 软件错误的大小  25-27
    3.2.2 语义错误的大小与软件可测试性之间的关系  27-28
    3.2.3 语义错误大小的定量计算  28-29
    3.2.4 模型的正确性证明和有效性验证  29-31
  3.3 软件可测试性的两个新的特征因素  31-38
    3.3.1 错误易检测性的度量  33-35
    3.3.2 错误可定位性的度量  35-38
  3.4 本章小结  38-39
第四章 程序切片与语义差异  39-61
  4.1 程序切片  39-44
  4.2 语义差异  44
  4.3 输入输出依赖关系法  44-51
    4.3.1 输入输出依赖关系法的基本思想  44-46
    4.3.2 输入输出依赖关系法的核心技术  46-48
    4.3.3 对输入输出依赖关系法的改进  48-51
  4.4 利用分割算法计算语义差异  51-60
    4.4.1 程序表示图  51-53
    4.4.2 节点的操作  53-54
    4.4.3 分割算法  54-55
    4.4.4 顺序一致算法  55-56
    4.4.5 计算程序的语义差异  56-57
    4.4.6 利用分割算法的一个例子  57-60
  4.5 本章小结  60-61
第五章 软件语义计算系统的原型设计  61-69
  5.1 原型系统功能概述  61
  5.2 原型系统总体框架设计  61-67
    5.2.1 PRG 的构造  63-65
    5.2.2 语义差异计算模块的设计  65-66
    5.2.3 切片工具的设计  66-67
  5.3 本章小结  67-69
第六章 总结与展望  69-71
  6.1 本文的主要研究工作  69
  6.2 下一步的工作  69-71
参考文献  71-75
致谢  75-76
在学期间研究成果  76

相似论文

  1. 基于ARM920t的RFID阅读器基带部分的设计实现,TP391.44
  2. 测试性虚拟验证技术及其在直升机航向姿态系统中的应用研究,V249.122.2
  3. 基于扫描结构的低功耗测试方法研究,TN407
  4. 汉英亲属称谓语的多角度对比与研究,H313
  5. 装备测试性参数优化选择技术研究,E075
  6. 面向故障诊断的测试流程自动生成技术研究,TP311.52
  7. 大学生对农民工刻板印象的实验研究,B849
  8. 家长参与下的非测试性评价对泡崖地区学生学习兴趣的影响,G633.41
  9. 利用PIE培养学生高级思维能力的方案设计和实践研究,G633.67
  10. 基于JTAG的基带芯片可测试性结构的设计,TN402
  11. 测试性虚拟验证中的故障建模技术研究,TH165.3
  12. 数字视频处理芯片架构设计及核心去隔行算法实现,TP391.41
  13. 片上网络低费用测试方法研究,TN407
  14. 基于CSMA/CA的无线网络多播协议的排队性能分析,TN92
  15. 基于企业视角产学研合作绩效影响因素研究,F273.1
  16. 最差情况公平的队列调度算法研究,TP301.6
  17. 面向无线多媒体传感器网络的非均匀环境下定向谣传路由算法研究,TN919.8
  18. 随机DBPSO-AO~*测试性分析算法研究,TN606
  19. 混合集成电路可测试性设计的研究,TN45
  20. 软件可测试性模型研究及应用,TP311.52
  21. 嵌入式计算机可测试性设计,TP368.11

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com