卫星测试设计自动生成及辅助验证系统

本发明涉及一种卫星测试设计自动生成及辅助验证系统，包括信息输入模块、测试序列生成模块、谱化测试序列模型库、测试细则交互模块、辅助验证模块、细则评定与迭代模块；测试细则交互模块将测试序列生成模块生成的测试细则传输至辅助验证模块进行验证，并将验证结果反馈至细则评定与迭代模块；细则评定与迭代模块根据验证结果调用优化策略对测试细则进行迭代优化，并通过测试细则交互模块将优化后的测试细则再次传输至辅助验证模块进行验证，形成闭环交互，最终输出符合覆盖性、时序正确性要求的测试细则至外部系统。本发明，解决了现有技术中测试设计效率低、验证滞后、覆盖性不足的问题，实现测试细则的快速生成与动态优化。