基于模糊数据测试的核反应控制算子的验证方法及系统

本申请涉及核反应控制算法技术领域，提出一种基于模糊数据测试的核反应控制算子的验证方法及系统，方法包括：接收验证请求，根据验证请求确定待验证核反应控制算子类；根据待验证核反应控制算子类在多个核反应控制算子验证主程序中确定对应的目标核反应控制算子验证主程序，将目标核反应控制算子验证主程序调用配置于主验证程序中；其中，多个核反应控制算子验证主程序均采用模糊数据测试；接收执行请求，根据执行请求执行主验证程序，在主验证程序执行过程中实时输出验证结果。本申请提供的方法，能够提高核反应控制算子验证的自动化程度，增加验证充分性、提升验证准确性，减少验证人力、缩短验证周期、简化验证流程、降低验证成本。