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