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

可信软件实时性测试用例构造方法研究

作　者: 蔡琼
导　师: 李兴国
学　校: 合肥工业大学
专　业: 企业管理及其信息化
关键词: TRSL 实时性可信软件测试用例
分类号: TP311.52
类　型: 硕士论文
年　份: 2010年
下　载: 95次
引　用: 0次
阅　读: 论文下载

内容摘要

软件测试是保证软件质量的重要前提。测试用例的数量和质量决定软件测试的成本和有效性。对于一些时间约束很强的系统来说,其测试用例集构造方法的现有研究成果还存在一些缺陷。结合当前先进的面向规约的形式化测试技术,研究基于TRSL(Timed RSL)规约的可信软件实时性测试用例集构造方法。文章首先分析了可信软件测试用例生成方法的研究现状和存在问题,综述了可信软件基础理论及RSL语言。其次,研究基于RAISE(Rigorous Approach to Industrial Software Engineering,工业软件工程的严格方法)规范语言的一个变体――TRSL,给出一种可信软件实时性测试用例生成方法,该方法通过对软件规约的分析,去除基于TRSL软件规约中的抽象时间因素,利用划分分析的方法构造测试单元,再采用动态约束求解方法动态构造具有时间约束的构造项和观测项。最后,通过报警系统实例进一步说明构建基于TRSL规约的实时性测试用例的应用过程。

全文目录

摘要  5-6
ABSTRACT  6-9
第一章绪论  9-16
  1.1 研究背景和意义  9-10
  1.2 研究现状和存在问题  10-14
    1.2.1 研究现状  10-13
    1.2.2 存在问题  13-14
  1.3 论文结构  14-16
第二章可信软件测试用例生成技术及RSL 语言  16-25
  2.1 可信软件基础理论  16-17
  2.2 可信软件测试技术  17-19
    2.2.1 基本特征  17-18
    2.2.2 实时性测试用例生成技术  18-19
  2.3 RSL 语言  19-25
    2.3.1 RSL 语言概述  20-21
    2.3.2 RSL 基本语法结构  21-23
    2.3.3 TRSL 语言  23-25
第三章基于TRSL 的实时性测试用例生成方法  25-37
  3.1 构造RTTC 的前提假设和步骤  25-27
  3.2 去除抽象时间因素  27-28
  3.3 划分子域并实例化子域约束  28-32
  3.4 构造具有时间约束的观测项和构造项  32-34
  3.5 构建RTTC  34-37
第四章实例分析  37-42
  4.1 报警系统形式化规约的描述  37-38
  4.2 报警系统的实时性测试用例生成  38-42
第五章总结与展望  42-44
参考文献  44-48
攻读硕士学位期间发表的论文  48-49
致谢  49

相似论文

基于FPGA的数字图像处理基本算法研究与实现,TP391.41
基于windows的计算机数字控制系统实时性的研究,TG659
基于模型的Web测试技术研究与应用,TP311.53
一种自适应选择处理节点的时空查询算法,TN929.5
软件可信性增长测试用例生成方法的研究,TP311.53
C++静态代码检测语法树构建方法研究,TP311.53
自动生成SQL测试用例集的研究与实现,TP311.52
实时数据库安全访问的研究,TP311.13
企业级软件组件质量保障与快速部团策略的研究,TP311.53
达梦数据库管理系统安全等级测评工具开发,TP311.13
大容量数字指纹系统的嵌入算法研究,TP309.7
网络视频录像机OSD子系统软件设计,TP277
基于多样化对象所有权的软件可信性质研究,TP311.52
基于PCI总线数据采集系统的研究与设计,TP274.2
600MW机组国产控制系统的研究与应用,TP273
嵌入式实时操作系统VxWorks在激光陀螺姿态测量系统中的应用研究,TP316.2
GPS软件接收机实时跟踪关键技术研究,P228.4
非接触轨距检测系统设计,U216.3
自动化测试在SOA中间件开发中的应用,TP311.53
成像面目标跟踪技术研究,TP391.41
构件测试用例复用方法研究与实现,TP311.52