基于SysML活动图的测试序列生成方法研究

发布时间：2017-12-04 06:56

本文关键词：基于SysML活动图的测试序列生成方法研究

【摘要】：随着当代航空电子系统对系统综合化、集成化要求的提高,IMA综合模块化航电系统应运而生。研究IMA系统的测试问题,越来越成为软件测试领域研究的热点。航电系统存在故障很可能导致灾难性后果,所以IMA系统质量安全非常重要。一套完善的系统测试方案,可以快速产生有效的测试数据,尽早的发现错误,提醒开发人员修改错误,保证软件的质量安全。为解决传统手工测试,耗时耗力且应用率低,效率低的问题,自动化测试已然成为了目前测试方法的主流趋势。虽然UML已成为工业界认可的标准建模语言且得到了广泛的使用,但是UML在嵌入式实时系统建模上存在缺少一致性,模型互操作性差,对系统工程建模能力不足的问题。UML活动图对活动行为建模存在建模不完整且难以进行安全性验证分析的问题,而SysML能够支持对各种复杂系统进行详细说明、分析、设计、验证和确认。则选择SysML对IMA这种综合度以及复杂度均较高的系统建模是合理的选择。本文主要研究IMA系统的集成测试序列生成方法,以及生成测试序列以后,对测试序列进行优先级排序,指导测试执行,达到更快满足覆盖标准的目标。首先介绍了几种测试模型,进行分类、对比,并分析各模型的特性,并针对当前模型对描述IMA系统的不足,提出使用SysML活动图对IMA系统进行建模。本文详细分析了从系统建模到生成测试序列的一系列过程,针对活动图模型半形式化问题,并发活动引起活动路径组合数量爆炸问题,覆盖准则选取,测试序列优化问题分别采取了以下解决方案:形式化定义便于理解,转换化成有向图便于处理;并发活动的压缩以及实例化有效避免路径组合数量爆炸问题;比较分析活动图在工作流程方面的几种覆盖准则,选择更能提取出活动图信息,更全面的检测软件系统的覆盖准则;提出BFC算法给测试序列优先级赋值,确定测试序列的执行顺序,使得该测试序列集以最快速度达到结点覆盖率要求。本文采用IMA系统中的飞机导航系统和飞机着陆过程的活动图验证测试序列生成方法,并验证BFC算法的有效性。比较对测试序列进行优先级排序后,转移边覆盖率的增长速度更快。
【学位授予单位】：南昌航空大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：V243;TP274

【参考文献】

中国期刊全文数据库前10条

1 曹德建;黄志球;阚双龙;黄传林;;基于故障扩展SysML活动图的软件安全性分析方法研究[J];小型微型计算机系统;2015年09期

2 何境泰;令晓明;何涛;;基于有限状态机的联锁平台任务同步模型研究[J];信息技术与信息化;2015年03期

3 宋婉娟;;基本路径测试与逻辑覆盖的对比研究[J];湖北第二师范学院学报;2013年08期

4 尤海峰;刘煜;;大型民用飞机IMA系统应用分析及发展建议[J];电讯技术;2013年01期

5 孙煜;梁琰;马力;;基于模型的系统工程与SysML应用研究[J];信息系统工程;2012年10期

6 屠晓杰;何锋;熊华钢;刘成;;分布式IMA的网络分区方法及其实时性能分析[J];航空学报;2013年01期

7 王松锋;熊选东;付建丹;张亮忠;;基于Petri网的SysML活动图的分析与验证[J];计算机科学;2012年09期

8 郑澜;王运盛;;适用于民机IMA的通用机载软件开发平台[J];电讯技术;2012年06期

9 郑军;胡军;柯昌博;黄志球;;综合模块化航电软件系统测试方法研究综述[J];计算机应用与软件;2012年05期

10 徐显亮;张凤鸣;褚文奎;;一种以安全性为中心的IMA软件体系结构设计方法[J];计算机科学;2012年03期