基于信息驱动机制的导弹作战流程建模问题

流程建模是开展作战流程量化分析的前提。针对当前导弹作战流程呈现出的"复杂度高、执行自动化程度高、控制精细度高"等特点,提出了基于拓展的层次有色赋时Petri网技术的总体建模思路,基于此完成了要素模型、流程模型的建立。统筹考虑后续流程量化分析需求,提出了面向对象的导弹作战流程模型组装方法。建模思路和具体方法能很好地指导基于信息驱动机制的导弹作战流程建模,支撑流程量化分析。

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

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