Patent search ap:("北京广利核系统工程有限公司") AND inv:"白春娜" Page 1

1.

发明公开
一种核电站实时操作系统的验证信息的处理方法及装置审中-实审

公开(公告)号：CN116089315A

公开(公告)日：2023-05-09

申请号：CN202310209950.4

申请日：2023-03-07

Applicant: 北京广利核系统工程有限公司

Inventor： 李幼媛 , 黄君龙 , 武方杰 , 杜乔瑞 , 程建明 , 白春娜 , 王晓燕 , 首云旭

IPC: G06F11/36

Abstract: 本发明提供了一种核电站实时操作系统的验证信息的处理方法及装置，该方法为：确定核电站实时操作系统的标准接口，以及获取核电站实时操作系统的信号量变化详情；针对标准接口，识别标准接口的指定参数情况；基于指定参数情况和预设的接口测试需求，生成用于对核电站实时操作系统进行接口测试的接口测试设计信息；针对信号量变化详情，基于信号量变化详情构建模型；从所构建的模型中提取路径节点序列；基于路径节点序列，生成用于对核电站实时操作系统进行功能测试的功能测试设计信息，从而将接口测试和功能测试结合以指导核电站实时操作系统在软件的验证实施。

Patent Agency Ranking