一种协议互操作测试系统开发框架

鉴于现有的协议互操作测试方法自动化程度不高,本文给出一种用于描述分布式通信系统的有限状态机模型,并基于该形式化模型和被动测试的思想提出一种协议互操作测试系统开发框架,遵循该框架开发的测试系统能够自动分析被测系统每次通信从属的协议过程,并自动验证报文和流程的正确性。

数智化体系正向设计方法及工具链

"数字化体系正向设计方法及工具链"项目面向作战概念研讨、场景设计、体系架构构建、能力验证评估等重大需求,创新提出了数智化体系正向设计方法,并研制了贯穿全过程的工具链,解决了体系正向设计存在的全过程方法缺失、数据不能全程贯通、智能化手段弱导致的工作量大、数据一致性差和效用效果不明显等问题,形成了自主可控的面向体系正向设计全过程的数智化工具链.项目研发的方法和工具链在多个重大工程任务中得到了良好的应用,大幅度提升了智能化体系的数字化、智能化设计和验证能力.