基于过程与场景分析的航天应用软件测试方法

发布时间：2021-04-24 16:58

　　航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。 

【文章来源】：测控技术. 2020,39(01)

【文章页数】：6 页

【文章目录】：
1 场景分析基础
2 软件系统场景分析
3 测试用例集生成
4 测试数据分析
5 结束语


【参考文献】：
期刊论文
[1]基于MBD模型自动生成测试用例的软件测试方法[J]. 蔡峰,周毅,陈阳.  测控技术. 2018(09)
[2]测控软件数据接口测试与典型缺陷分析[J]. 漆莲芝,周昱瑶,张谊,颜运强,陈泉根.  测控技术. 2017(09)
[3]基于形式化方法的航空电子系统检测[J]. 李睿,连航,马世龙,黎涛.  软件学报. 2015(02)
[4]灰盒测试方法的实践与研究[J]. 张卫祥,刘文红.  飞行器测控学报. 2010(06)
[5]基于UML的系统测试[J]. 张永,迟忠先.  计算机工程与设计. 2006(09)



本文编号：3157728