核电厂反应堆控制系统软件测试