深圳中广核工程设计有限公司
纸质出版:2026
移动端阅览
唐昕, 席望, 梁慧慧. 核安全级软件验证与确认知识图谱构建与应用研究[J]. 核科学与工程, 2026,46(4):964-970.
唐昕, 席望, 梁慧慧. 核安全级软件验证与确认知识图谱构建与应用研究[J]. 2026, 46(4): 964-970.
唐昕, 席望, 梁慧慧. 核安全级软件验证与确认知识图谱构建与应用研究[J]. 核科学与工程, 2026,46(4):964-970. DOI: 10.20190/j.cnki.02580918.202604021.
唐昕, 席望, 梁慧慧. 核安全级软件验证与确认知识图谱构建与应用研究[J]. 2026, 46(4): 964-970. DOI: 10.20190/j.cnki.02580918.202604021.
针对核安全级软件验证与确认(V&V)工作中风险覆盖不足、知识分散和标准缺失的问题,提出一种面向该领域的知识图谱架构。基于核安全级软件安全优先、纵深防御、单一故障准则等特征,以及V&V过程合规性、结果有效性、法规约束、全链路追溯等独特属性,系统梳理了法规标准、功能需求、设计规范、测试结果、缺陷记录、验证报告、审评结论等18类异构数据源,确立了覆盖顶层约束、中间设计、执行过程、结果评价、支撑要素全业务链的实体类型、关系类型与属性框架。提出“数据源分类-核心概念提取-知识结构化”的三级抽取策略,针对核安全领域的高可靠性要求,采用规范化的专家人工抽取与多级校验机制,最终以资源描述框架(RDF)三元组形式建立多维知识网络。为了验证该架构的有效性,选取剩余电流继电器软件V&V项目进行实证研究。通过构建包含法规标准、功能需求、测试记录及缺陷数据的图谱实例,实现了从软件缺陷到法规条款的自动化语义追溯。结果表明,该方法能够有效识别跨文档的合规性风险,支持不同等级缺陷的分类关联分析,显著提升了V&V过程的追溯效率与审评质量。
0
浏览量
下载量
CSCD
关联资源
相关文章
相关作者
相关机构