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

一种Java多线程可达性测试框架系统的研究和实现

作　者: 李双权
导　师: 陈火炎
学　校: 暨南大学
专　业: 计算机软件与理论
关键词: 可达性测试 测试框架系统 同步序列 多线程
分类号: TP311.5
类　型: 硕士论文
年　份: 2003年
下　载: 183次
引　用: 2次
阅　读: 论文下载
 

内容摘要


由于并发软件的不确定性，使得并发程序的设计、开发、调试和测试都非常困难。可达性测试是并发软件测试中的一种有效方法。本文提出了一种基于共享变量读写操作分析的Java多线程程序同步序列生成策略，采用动态代理类Proxy实现了Java多线程程序确定性测试框架系统，从而实现了一个Java多线程可达性测试系统。

全文目录


绪论  6-8
第一章 面向对象软件测试概论  8-13
  1.1 软件测试  8-10
  1.2 软件测试方法分类  10
  1.3 面向对象软件测试  10-12
  1.4 陈火炎等人的面向对象软件测试研究结果  12-13
第二章 并发软件测试  13-19
  2.1 并发系统和并发软件  13-14
  2.2 并发程序的同步序列  14-16
  2.3 并发软件测试  16-17
  2.4 可达性测试与非确定性测试效果的实验比较  17-19
第三章 基于共享变量读写分析的Java语言可达性测试框架系统  19-25
  3.1 Java语言的多线程同步机制  19-20
  3.2 软件测试框架系统  20-22
  3.3 基于共享变量读写分析的Java多线程可达性测试框架系统  22-23
  3.4 系统开发环境  23-25
第四章 并发程序可达性测试同步序列集生成策略  25-39
  4.1 同步序列的形式化定义  25-27
  4.2 同步事件的数据结构  27-30
  4.3 同步序列的生成方式  30-31
  4.4 并发程序模型与MTTest图示法  31-34
  4.5 基于共享变量读写分析的同步序列集生成策略  34-39
第五章 Java多线程程序确定性测试框架系统设计及其实现难点  39-52
  5.1 JUnit测试框架系统结构  39-43
  5.2 Java多线程确定性测试框架系统设计和实现  43-46
  5.3 Java多线程确定性测试框架系统实现难点  46-50
  5.4 可达性测试框架系统实验实例  50-52
第六章 结束语  52-53
致谢  53-54
参考文献  54-55

相似论文

  1. AVS视频解码器在PC平台上的优化及场解码的改善,TN919.81
  2. 基于智能学习的多传感器目标识别与跟踪系统研究,TP391.41
  3. 基于比对技术的非法网站探测系统的实现与研究,TP393.08
  4. 基于C/S架构的车辆远程监控系统的设计与实现,TP277
  5. 基于多核的动态剖析加速方法研究,TP332
  6. 基于多线程图像处理机测试系统的研究,TP391.41
  7. 云备份中的双指纹校验与多线程传输技术研究,TP309.3
  8. 车载终端执行文件远程升级系统的设计与研究,TP277
  9. 基于共享前端的流多核体系结构关键技术研究,TP332
  10. 集料级配实时检测系统研究与实现,U415.5
  11. 压缩机厂数控信息管理系统的研究与开发,TP315
  12. 虚拟地形环境中地形数据金字塔模型的建模和处理技术的研究,P209
  13. 电学层析成像系统优化设计,O441.4
  14. 基于网络的可重构数控装备虚拟技术研究,TG659
  15. 锂离子动力电池管理系统的设计与实现,TM912
  16. 捣固车自动引导系统的设计与实现,U216.6
  17. 微小型机器人嵌入式控制软件的设计与实现,TP242
  18. 基于嵌入式Linux的并行数据采集系统设计与实现,TP274.2
  19. 网站实时时序数据采集系统的设计与实现,TP274.2
  20. 高抗振性动态钢管直径测量系统的研究,TP274
  21. 互联网络下载协议的分析和实现,TP393.093

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