论文题目: 基于软件体系结构的测试用例生成技术研究
论文类型: 博士论文
论文专业: 计算机应用技术
作者: 叶俊民
导师: 王振宇
关键词: 软件体系结构,体系结构描述语言,计时状态进程,操作语义,分布式实时系统,测试用例
文献来源: 哈尔滨工程大学
发表年度: 2005
论文摘要: 从90年代开始，软件体系结构(Software Architecture，SA)技术受到了研究界和工业界的普遍重视并开始得到应用。软件体系结构的设计对于整个软件系统的开发至关重要，这种重要性不仅表现在软件的构造上，还表现在对软件测试的指导上。因此，为了提高软件体系结构设计的质量并用软件体系结构设计指导软件测试，有必要研究基于规格说明的软件体系结构测试技术。软件体系结构为软件测试提出了很多新问题，但目前对软件体系结构测试的研究还很薄弱。能否找到有效的适用于软件体系结构的测试技术，将决定着软件体系结构技术是否能够应用成功。基于软件体系结构的测试技术研究的核心是自动生成测试用例。为此，需要选择或设计合适的软件体系结构描述语言，将被测系统IUT(Implementation Under Test)的描述建立在软件体系结构层上，并以此为出发点，寻找恰当的测试视点、测试覆盖准则和测试用例生成算法。本文的第一部分工作是从软件测试的角度出发，以满足多视点地测试软件体系结构为目标，提出了对软件体系结构基本模型的多视点要求，即结构视点和行为视点，以及相应的模型，说明了它们的可测性。利用结构模型所提供的信息，能够分析软件体系结构元素之间的连接是否恰当、接口是否匹配，能够测试软件体系结构中元素的交互路径等；利用对行为模型的进程代数规格说明，能够测试软件体系结构元素的行为以及元素之间的交互行为。本文的第二部分工作是提出并设计了针对一类分布式实时系统的体系结构描述语言DRTSADL(Distributed Real-Time System Architecture Description Language)；在该语言中嵌入了计时进程代数模型，研究了计时状态进程TSP(Timed State Processes)的操作语义，以支持分布式实时系统的行为描述。通过扩展和裁减手段，在有限状态进程FSP(Finite State Process)的基础上，定义计时状态进程TSP，其成分主要有常量进程、前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、发送进程、接收进程、组合进程和顺序进程等。与FSP相比，TSP可支持计时特征和构件／进程之间的通信。在DRTSADL中，本文定义了简单构件、组合构件、连接件和端口等。从简单构件、组合构件、连接件和体系结构风格入手，描述了如何使用DRTSADL描述应用系统的软件体系结构，并以C~3I的MMI(Man Machine Interface)为例说明了一个软件体系结构的完整描述。本文的第三部分工作是设计了一类分布式实时系统的测试用例生成方法，主要内容包括：(1)根据软件体系结构配置信息，设计了一套测试覆盖准则，定义其对应的计算规则；(2)针对结构视点，基于DRTSADL规格说明的配置信息，设计了对应的测试用例生成算法；(3)基于异步网络的分布式系统模型和DRTSADL规格说明，设计了一种产生分布式系统的测试用例的算法；(4)基于一类计时自动机模型和DRTSADL规格说明，利用计时Wp算法，设计了一种产生实时系统测试用例的算法，并证明了其终止性。为验证上述(2)和(4)方法的可用性，本文的第四部分工作是实现了一个面向DRTSADL的测试用例生成的环境原型，该原型支持DRTSADL的可视方式和文本方式的模型构建，依据所描述的被测系统，从配置(结构)和行为两个视点产生测试用例。用一个人机接口系统软件MMI进行实验，表明该环境原型能够按用户要求产生测试用例。
论文目录:
摘要
Abstract
目录
插图目录
表格目录
第1章 绪论
1.1 研究动因
1.2 软件体系结构测试技术
1.3 软件体系结构测试技术研究现状
1.3.1 软件测试技术研究的历程
1.3.2 对软件体系结构测试现状的分析
1.4 存在问题
1.5 研究目标
1.6 本文的主要工作和组织安排
1.6.1 本文主要工作
1.6.2 与本文研究相关的科研项目
1.6.3 本文的组织结构
第2章 软件体系结构测试基础与研究实例
2.1 软件体系结构测试基础
2.1.1 软件体系结构定义
2.1.2 测试对象
2.1.3 软件体系结构层的测试覆盖准则
2.1.4 有限状态进程(FSP)
2.1.5 记号系统与计时标号迁移系统(TLTS)
2.1.6 S.Schneider 的部分 TCSP 进程操作语义结论
2.1.7 基于软件体系结构的依赖分析技术
2.1.8 模型检验技术基础
2.1.9 配置信息测试基础
2.1.10 分布式系统测试基础
2.1.11 实时系统测试基础
2.2 MMI 实例
第3章 基于软件体系结构的可测性模型研究
3.1 软件体系结构模型的要求
3.2 软件体系结构的基本模型
3.3 体系结构设计空间的概念
3.4 多视点下的软件体系结构模型
3.5 软件体系结构描述模型的可测性分析
3.6 小结
第4章 TSP 及其操作语义模型研究
4.1 基本 TSP
4.1.1 TSP 中的时间模型
4.1.2 对 FSP 的扩展
4.1.3 TSP 基础
4.1.4 TSP 实例
4.2 基本 TSP 的操作语义
4.3 TSP 的操作语义
4.4 小结
第5章 DRTSADL 体系结构描述语言的设计研究
5.1 DRTSADL 体系结构描述语言的设计思想
5.2 软件体系结构的描述
5.2.1 DRTSADL 的总体结构
5.2.2 软件体系结构的结构描述
5.2.3 软件体系结构的行为描述
5.2.4 软件体系结构的配置描述
5.3 软件体系结构基本成分描述
5.3.1 简单构件描述
5.3.2 组合构件
5.3.3 连接件
5.3.4 体系结构风格
5.4 MMI 描述
5.4.1 MMI 中的基本成分描述
5.4.2 MMI 中的配置描述
5.4.3 MMI 的总体结构描述框架
5.5 小结
第6章 基于软件体系结构配置信息的测试用例生成算法研究
6.1 配置行为图及其实例描述
6.2 软件体系结构覆盖准则及其计算规则
6.3 基于体系结构配置信息描述的测试用例生成算法
6.3.1 基于体系结构配置信息的测试用例生成过程
6.3.2 基于配置信息的测试用例生成
6.3.3 基于配置信息的测试用例生成算法复杂性分析
6.4 实验情况
6.5 小结
第7章 基于异步网络模型的分布式系统的测试用例生成
7.1 基于异步网络模型的分布式系统的测试用例生成的思想
7.1.1 分布式系统的测试用例
7.1.2 算法思想
7.1.3 一个简单例子
7.2 生成分布式系统的测试用例算法
7.2.1 基础算法
7.2.2 从 DRTSADL 规格说明导出进程时间图 PTG
7.2.3 基于逻辑时间快照的全局状态图生成算法
7.2.4 基于全局状态图的测试用例生成
7.3 小结
第8章 基于 DRTSADL-TSP 行为模型的测试用例生成技术研究
8.1 T-TIOA
8.2 用 T-TIOA 描述实例
8.2.1 使用 TIOA 和 DRTSADL-TSP 描述自感应电灯
8.2.2 使用 T-TIOA 描述自感应电灯
8.2.3 使用 DRTSADL-TSP 描述 MMI 的行为
8.3 基于 DRTSADL-TSP 规格说明的测试用例生成
8.3.1 DRTSADL-TSP 描述到 T-TIOA 描述的转换
8.3.2 自 T-TIOA 构建网格自动机
8.3.3 将网格自动机变换成 NTFSM
8.3.4 自 NTFSM 生成测试用例
8.3.5 基于 DRTSADL-TSP 生成测试用例算法的复杂度分析
8.3.6 实验情况
8.4 故障模型
8.5 小结
第9章 测试工具 ADLTester 的设计与实现
9.1 ADLTester 集成环境的设计原则
9.2 ADLTester 体系结构的设计
9.3 ADLTester 用户界面设计
9.4 ADLTester 的应用
9.5 小结
结论
1 本文主要贡献
2 今后研究工作
参考文献
攻读博士学位期间发表的论文和取得的科研成果
致谢
附录A DRTSADL 语言
附录B 基于DRTSADL-TSP 的测试用例生成算法的终止性证明
发布时间: 2007-08-21
参考文献
- [1].需求模型到软件体系结构的转换方法研究[D]. 黄勃.武汉大学2014
- [2].分布事件通知服务的关键技术及其应用研究[D]. 汪洋.中国科学院研究生院（软件研究所）2004
- [3].软件体系结构形式描述研究[D]. 朱雪阳.中国科学院研究生院（软件研究所）2005
- [4].GIS动态集成框架及其UIB核心相关问题研究[D]. 李建华.武汉大学2005
- [5].一种轻量级觉察上下文软件体系结构的研究[D]. 何秋生.复旦大学2007
- [6].软件抗衰的若干关键技术研究[D]. 徐建.南京理工大学2006
- [7].基于代数理论的软件体系结构描述及软件演化方法研究[D]. 张友生.中南大学2007
- [8].适应性软件体系结构评价方法研究[D]. 杨红.大连理工大学2007
- [9].安全软件体系结构的形式化方法研究[D]. 杨捷.武汉大学2004
- [10].国内新一代电信业务支撑系统软件体系结构的研究[D]. 杨娟.北京邮电大学2008
标签：软件体系结构论文; 体系结构描述语言论文; 计时状态进程论文; 操作语义论文; 分布式实时系统论文; 测试用例论文;