一种安全级仪控系统T2测试用例自动生成方法及系统

本发明公开了一种安全级仪控系统T2测试用例自动生成方法，包括：判断核电站站点是否需要进行T2试验；若否，则删除该核电站站点或图页；若是，则在需要进行试验的核电站站点中筛选出试验开启需要的前提条件；筛选出试验所需要的变量；根据数据流图构建输入变量到输出变量间的信号流，将信号流对应中间遇到的所有算法块作为分段节点；判断分段节点上的算法是否需要逻辑验证；若否，则删除该分段节点；若是，则进行逻辑验证，按照分段节点生成T2测试用例。方法通过遍历各站点仪控功能图，整理出相应的信号流图，并自动生成可导入版本的T2测试用例，显著降低人为筛选信号遗漏以及逻辑时序验证纰漏，减少设计等待环节，有效缩短了设计时间。