导弹作战流程Petri网建模及测试用例生成方法

• 作者: 黄耀华
• 来源期刊: 弹箭与制导学报
• 关键词: 导弹作战流程 状态变迁 Petri网模型 测试用例生成
• 年，卷（期）: 2019,（5）
• 页码范围: 46-49
• 页数: 4页
• 分类号: TJ760.6
• 语种: 中文
• DOI: 10.15892/j.cnki.djzdxb.2019.05.011

摘要

随着导弹作战流程复杂度和自动化程度的提升,基于模型的系统分析和测试技术已成为导弹武器系统作战流程测试验证技术的重要发展方向.通过对某型导弹武器系统作战过程信息流程的梳理,建立了作战流程的Petri网模型,对系统的特性进行了分析,并基于Petri网模型的数学工具构造出了测试用例的自动生成算法.该算法能够将系统状态变迁的测试用例整理为符合导弹武器系统测试场景的测试序列集合,实现对系统状态变迁的完整性覆盖.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄耀华		2	0	0.0	0.0