基于任务的舰船装备软件测试技术研究
发布时间:2023-04-19 02:11
针对基于任务的舰船装备软件进行测试时,缺乏任务需求的系统化分析与描述手段、难以从任务执行层面有效生成测试用例、不支持跨平台测试的自动化执行等问题,对舰船装备软件任务分析与建模、基于任务模型的舰船装备软件测试用例生成及舰船装备软件测试自动化执行等三方面关键技术进行了研究,研制了配套的软件测试工具,形成了一整套基于任务的舰船装备软件测试技术,以满足基于任务的舰船装备软件测试的需要;在此基础上,开展了基于任务的舰船装备软件测试技术实例应用,验证了该技术的工程适用性和配套工具的有效性,并形成了典型应用实例,为该技术的推广提供支撑。
【文章页数】:7 页
【文章目录】:
0 引言
1 任务分析与建模技术
1.1 舰船装备软件任务特征分析
1.2 舰船装备软件任务建模
2 基于任务模型的测试用例生成技术
2.1 测试路径生成
2.1.1 针对外部组件状态节点的约简策略
2.1.2 针对异常处理状态节点的约简策略
2.2 故障模式分析
2.3 测试数据生成
2.3.1 常量池法
2.3.2 随机生成法
2.3.3 符号执行法
2.3.4 启发式生成法
2.4 测试预言生成
2.4.1 测试预言的分类
2.4.2 测试预言的生成
2.4.2. 1 基于后置条件的测试预言生成方法
2.4.2. 2 基于蜕变关系的测试预言生成方法
2.4.2. 3 基于容错机制的测试预言生成方法
2.4.2. 4 通用型测试预言生成方法
3 测试自动化执行技术
3.1 测试脚本生成技术
3.2 测试自动化执行技术
4 基于任务的舰船装备软件测试工具研制
5 实例应用
6 结束语
本文编号:3793508
【文章页数】:7 页
【文章目录】:
0 引言
1 任务分析与建模技术
1.1 舰船装备软件任务特征分析
1.2 舰船装备软件任务建模
2 基于任务模型的测试用例生成技术
2.1 测试路径生成
2.1.1 针对外部组件状态节点的约简策略
2.1.2 针对异常处理状态节点的约简策略
2.2 故障模式分析
2.3 测试数据生成
2.3.1 常量池法
2.3.2 随机生成法
2.3.3 符号执行法
2.3.4 启发式生成法
2.4 测试预言生成
2.4.1 测试预言的分类
2.4.2 测试预言的生成
2.4.2. 1 基于后置条件的测试预言生成方法
2.4.2. 2 基于蜕变关系的测试预言生成方法
2.4.2. 3 基于容错机制的测试预言生成方法
2.4.2. 4 通用型测试预言生成方法
3 测试自动化执行技术
3.1 测试脚本生成技术
3.2 测试自动化执行技术
4 基于任务的舰船装备软件测试工具研制
5 实例应用
6 结束语
本文编号:3793508
本文链接:https://www.wllwen.com/kejilunwen/jingguansheji/3793508.html