公开(公告)号：CN111580852A

公开(公告)日：2020-08-25

申请号：CN202010357757.1

申请日：2020-04-29

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

Inventor： 刘邦信 ,  王晓燕 ,  徐先柱 ,  张亚栋 ,  石桂连 ,  杜乔瑞 ,  杨元桂

IPC: G06F8/70

Abstract: 本发明涉及一种软件变更影响范围的识别方法及系统，属于计算机软件技术领域，解决了现有技术分析软件变更影响范围造成的精度差且效率低的问题。识别方法包括：基于所述软件的基本项识别得到关联因子，其中，所述基本项包括软件的功能项和性能项，所述关联因子表示各基本项之间关联关系的承载内容；根据所述关联因子，获得所述软件的关联矩阵；其中，所述软件的关联矩阵包含所述软件所有基本项间的关联关系；对比变更前后的基本项，获得变更基本项；基于所述变更基本项，在关联矩阵中进行变更影响分析，获得所述软件的变更影响范围。实现了软件变更影响范围的自动化识别，提高了分析结果的精度。

公开(公告)号：CN108829903B

公开(公告)日：2021-11-05

申请号：CN201711096856.3

申请日：2017-11-09

Applicant: 北京广利核系统工程有限公司 ,  中国广核集团有限公司

Inventor： 江国进 ,  高玉斌 ,  孙永滨 ,  白涛 ,  张亚栋 ,  尹宝娟 ,  杨元桂 ,  张俊清

IPC: G06F30/20 ,  G06F30/34

Abstract: 本发明属于核电控制的技术领域，为了解决现有技术中综合后仿真方法和形式化一致性验证方法分别存在的不足，提供一种判定FPGA冗余设计的代码与综合后电路一致性的方法和系统；所述方法包括：S1、分别检索FPGA代码中的第一关键词和综合电路对应网表文件中的第二关键词；S2、判断FPGA代码中第一关键词检索得到的第一信号名集合是否属于网表文件中第二关键词检索得到的第二信号名集合的子集；如果是，则综合后电路的信号一致性检测通过；S3、判断FPGA代码文件中声明的所有信号，在综合后电路对应网表文件中是否分别都有一个或多个有用逻辑单元与相应的信号连接；如果是，则综合后电路的逻辑一致性检测通过。

公开(公告)号：CN111580852B

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

申请号：CN202010357757.1

申请日：2020-04-29

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

Inventor： 刘邦信 ,  王晓燕 ,  徐先柱 ,  张亚栋 ,  石桂连 ,  杜乔瑞 ,  杨元桂

IPC: G06F8/70

Abstract: 本发明涉及一种软件变更影响范围的识别方法及系统，属于计算机软件技术领域，解决了现有技术分析软件变更影响范围造成的精度差且效率低的问题。识别方法包括：基于所述软件的基本项识别得到关联因子，其中，所述基本项包括软件的功能项和性能项，所述关联因子表示各基本项之间关联关系的承载内容；根据所述关联因子，获得所述软件的关联矩阵；其中，所述软件的关联矩阵包含所述软件所有基本项间的关联关系；对比变更前后的基本项，获得变更基本项；基于所述变更基本项，在关联矩阵中进行变更影响分析，获得所述软件的变更影响范围。实现了软件变更影响范围的自动化识别，提高了分析结果的精度。

公开(公告)号：CN108829903A

公开(公告)日：2018-11-16

申请号：CN201711096856.3

申请日：2017-11-09

Applicant: 北京广利核系统工程有限公司 ,  中国广核集团有限公司

Inventor： 江国进 ,  高玉斌 ,  孙永滨 ,  白涛 ,  张亚栋 ,  尹宝娟 ,  杨元桂 ,  张俊清

IPC: G06F17/50

Abstract: 本发明属于核电控制的技术领域，为了解决现有技术中综合后仿真方法和形式化一致性验证方法分别存在的不足，提供一种判定FPGA冗余设计的代码与综合后电路一致性的方法和系统；所述方法包括：S1、分别检索FPGA代码中的第一关键词和综合电路对应网表文件中的第二关键词；S2、判断FPGA代码中第一关键词检索得到的第一信号名集合是否属于网表文件中第二关键词检索得到的第二信号名集合的子集；如果是，则综合后电路的信号一致性检测通过；S3、判断FPGA代码文件中声明的所有信号，在综合后电路对应网表文件中是否分别都有一个或多个有用逻辑单元与相应的信号连接；如果是，则综合后电路的逻辑一致性检测通过。