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

摘要

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

目录

文摘

英文文摘

论文说明：图表目录

声明

致谢

第一章 绪论

1.1研究背景和意义

1.2研究现状和存在问题

1.2.1研究现状

1.2.2存在问题

1.3论文结构

第二章 可信软件测试用例生成技术及RSL语言

2.1可信软件基础理论

2.2可信软件测试技术

2.2.1基本特征

2.2.2实时性测试用例生成技术

2.3 RSL语言

2.3.1 RSL语言概述

2.3.2 RSL基本语法结构

2.3.3 TRSL语言

第三章 基于TRSL的实时性测试用例尘成方法

3.1构造RTTC的前提假设和步骤

3.2去除抽象时间因素

3.3划分子域并实例化子域约束

3.4构造具有时间约束的观测项和构造项

3.5构建RTTC

第四章 实例分析

4.1报警系统形式化规约的描述

4.2报警系统的实时性测试用例生成

第五章 总结与展望

参考文献

攻读硕士学位期间发表的论文