航天嵌入式软件任务剖面建模研究

论文摘要

本文针对航天嵌入式软件特点以及软件黑盒测试所面临的问题,提出了一种任务剖面建模的方法。从用户的角度对软件系统进行数学建模,对系统是怎样的以及它会怎样被使用做出一个定量描述。通过任务剖面模型,获取测试用例和测试数据的等价类信息,为测试用例的自动生成提供基础,从而减少人为因素给测试工作带来的不确定性,提高测试的质量和效率。本文首先介绍了软件任务剖面基本概念和理论,然后重点介绍软件任务剖面建模的算法以及根据该软件任务剖面模型自动产生测试用例的方法。最后根据以上算法和理论实现了一个原型系统。

论文目录

• 摘要
• 英文摘要
• 第一章 引言
• 第二章 基本概念和理论介绍
• 2.1 软件任务剖面的相关概念和理论
• 2.1.1 软件可靠性测试
• 2.1.1.1 软件可靠性测试概念
• 2.1.1.2 软件可靠性测试流程
• 2.1.2 软件任务剖面
• 2.1.2.1 任务剖面的实施过程
• 2.1.2.2 系统模式剖面
• 2.1.2.2.1 系统模式划分依据
• 2.1.2.2.2 系统模式发生概率
• 2.1.2.3 功能剖面
• 2.1.2.3.1 确定功能个数
• 2.1.2.3.2 功能发生概率
• 2.1.2.4 操作剖面
• 2.1.2.5 软件任务剖面
• 2.1.3 Markov 链理论
• 2.2 UML 基本概念
• 2.2.1 UML 简介
• 2.2.2 OCL 简介
• 第三章 任务剖面建模方法研究
• 3.1 用户需求模型
• 3.1.1 方案选择
• 3.1.1.1 Rational Rose 建模
• 3.1.1.2 自定义建模
• 3.1.2 自定义图形介绍
• 3.1.2.1 活动图
• 3.1.2.1.1 活动图定义
• 3.1.2.1.2 活动图表示
• 3.1.2.2 顺序图
• 3.1.2.2.1 顺序图定义
• 3.1.2.2.2 顺序图表示
• 3.1.3 用户需求模型示例
• 3.1.3.1 系统模式剖面
• 3.1.3.2 功能剖面（用例剖面）
• 3.1.3.3 操作剖面（场景剖面）
• 3.2 任务剖面模型
• 3.2.1 任务剖面的表示方法
• 3.2.2 任务剖面的转换算法
• 3.3 测试用例自动生成
• 第四章 原型系统的设计与开发
• 4.1 原型系统需求分析
• 4.1.1 系统业务流程概述
• 4.1.2 原型系统功能
• 4.2 原型系统设计
• 4.2.1 原型系统的软件结构
• 4.2.2 原型系统主要类的设计
• 4.2.2.1 系统模式剖面类
• 4.2.2.2 功能剖面类
• 4.2.2.3 操作剖面类
• 4.2.3 原型系统主要用户界面
• 4.2.3.1 用户需求模型建模用户界面
• 4.2.3.2 任务剖面建模的用户界面
• 4.3 测试用例生成
• 第五章 原型系统的改进与扩展
• 第六章 结束语
• 主要参考文献
• 收录和发表论文
• 致谢