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

基于STGA的并发程序测试

作　者: 唐江峻
导　师: 林惠民
学　校: 中国科学院研究生院（软件研究所）
专　业: 计算机软件与理论
关键词: 软件测试并发程序传值进程带赋值符号迁移系统标号迁移系统
分类号: TP311.1
类　型: 硕士论文
年　份: 2004年
下　载: 68次
引　用: 0次
阅　读: 论文下载

内容摘要

本文提出一种基于带赋值符号迁移系统STGA选取测试同步序列的方法。与传统的基于标号：迁移系统LTS的方法相比，STGA中保留了对测试同步序列的选取有重要影响的结构信息，因此有利于高效率同步序列的选取。实例研究证实了这一优越性。在这个基础上我们还提出了若干覆盖率标准来指导同步序列的选取，实例研究也表明在发现错误的能力方面，根据这些覆盖率选取出来的同步序列要好于随机选取的同步序列。

全文目录

第1章引言  9-15
  1.1 测试  9
  1.2 顺序程序测试  9-12
    1.2.1 黑盒测试  9-10
    1.2.2 白盒测试  10-11
    1.2.3 测试流程  11
    1.2.4 测试种类  11-12
  1.3 并发程序测试  12-14
  1.4 本文的主要工作  14
  1.5 本文的组织  14-15
第2章并发程序测试简介  15-19
  2.1 同步错误  15
  2.2 并发程序测试方法  15-17
    2.2.1 非确定性测试  15-16
    2.2.2 确定性测试  16-17
    2.2.3 综合性测试  17
  2.3 同步序列生成  17-19
第3章 LTS、CCS和STGA  19-31
  3.1 LTS  19
  3.2 CCS  19-25
    3.2.1 基本CCS  20-21
    3.2.2 传值CCS  21-25
  3.3 STGA  25-31
第4章同步序列的生成  31-35
  4.1 从LTS中生成同步序列  31
  4.2 从STGA图生成同步序列  31-35
第5章符号同步序列的覆盖率标准  35-39
第6章测试实例与分析  39-46
第7章结论  46-47
参考文献  47-49
附录A MSMIE协议的VP描述  49-52
附录B 满足路径覆盖的同步序列组  52-53
附录C 满足动作组覆盖的同步序列组  53-54
在学期间发表论文  54-55
致谢  55

相似论文

面向对象分层测试的方法研究,TP311.53
基于形式化UML测试序列生成方法研究,TP311.53
基于程序切片的电子海图系统软件测试技术研究,TP311.53
用户权限管理系统可靠性测试的研究与应用,TP311.53
高职院校教学案例库的创建探究,TP311.53-4
基于中国电信闪铃系统与平台项目的软件测试,TP311.53
表面形貌区域法分析评定算法及软件系统研究,TP311.52
基于Process Engine的Web Services自动化测试研究,TP311.52
自动化测试在分组传输网管接口测试中的应用,TP311.52
一个自动化软件测试系统的设计与实现,TP311.53
基于QTP的SAFFRON自动化测试框架的研究,TP311.52
电信BOSS系统软件测试,TP311.53
基于程序执行的错误定位方法,TP311.52
基于云计算的软件测试服务研究,TP311.53
电子商务中的在线书店设计与实现,TP311.52
A基地软件检测站测试管理信息系统设计及实施关键问题研究,TP311.52
智能卡操作系统(COS)的系统测试方法的设计与实现,TP311.52
基于J2EE的软件测试用例管理系统的设计与实现,TP311.52
地图管理信息系统的设计与实现,P208
PTN网管的接口自动化测试研究与实施,TP274
基于Robot技术的GUI自动化测试系统的设计与实现,TP274