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

• 作者: 张卫祥 张敏 窦朝晖 马贤颖 魏波
• 来源期刊: 测控技术
• 学科: 工学
• 关键词: 系统测试 测试用例生成 形式化模型 场景分析 软件测试
• 年，卷（期）: 2020,（1）
• 所属期刊栏目: 容错计算与软件测试专题
• 页码范围: 30-35
• 页数: 6页
• 分类号: TP311|V57
• 字数: 5979字
• 语种: 中文
• DOI: 10.19708/j.ckjs.2020.01.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张卫祥		8	38	4.0	6.0
2	魏波		7	27	2.0	5.0
3	马贤颖		8	36	4.0	5.0
4	窦朝晖		3	12	1.0	3.0
5	张敏		4	22	2.0	4.0