一种机载复杂电子硬件需求和代码的一致性检测方法技术

本发明专利技术提出一种机载复杂电子硬件需求和代码的一致性检测方法，通过构建复杂电子硬件需求和代码对应的知识图谱，基于知识图谱的相似性计算，自动化完成需求和代码的一致性检测。本发明专利技术能将适航审定需求和代码人工手动检测转变为自动化检测流程，极大的缩短了适航审定时间，提高了审定效率。本发明专利技术通过构建精准的本体模型和选用高效实体关系抽取模型，能够准确地从代码和需求中提取语义信息，从而实现一致性的精确检测，显著降低了误判率。

【技术实现步骤摘要】

本专利技术涉及代码一致性检测，具体为一种机载复杂电子硬件需求和代码的一致性检测方法。

技术介绍

1、适航审定是确保机载系统安全和可靠性的关键环节，由适航管理部门对机载系统的设计和制造进行严格的审查、鉴定、监督和管理。在机载硬件系统中，以现场可编程门阵列(fpga)为代表的复杂电子硬件扮演着至关重要的角色。适航审定的作用在于能够在硬件设计的早期阶段发现并纠正设计过程中的错误，从而在整个硬件生命周期内确保其安全性和可靠性。

2、复杂电子硬件的设计流程主要包括需求捕获、概要设计和编码阶段。在这一流程中，需求与代码的一致性检测是至关重要的一环，它确保软件代码能够精确地实现既定的需求，降低偏离原始需求的风险。通过实现需求与代码之间的双向追溯，每一步从需求定义到代码实现再到测试验证都紧密对应，这有助于在硬件设计的早期阶段及时发现潜在的问题和缺陷，从而提高复杂电子硬件的开发效率。

3、当前的需求与代码一致性检测主要依赖于人工审查、静态代码分析以及形式化验证等方法。静态代码分析工具虽能快速发现代码中的常见错误，但难以识别复杂的逻辑错误，且局限于特定本文档来自技高网...

【技术保护点】

1.一种机载复杂电子硬件需求和代码的一致性检测方法，其特征在于：包括以下步骤：

2.根据权利要求1所述一种机载复杂电子硬件需求和代码的一致性检测方法，其特征在于：步骤1.1中，首先基于需求解释文本前具有“【COM】”标识，以及需求文本的功能小标题文本长度不超过五个字符的特征，进行需求文本预处理；然后人工剔除大于5字符的功能小标题和与代码逻辑无关的硬件需求文本。

3.根据权利要求1所述一种机载复杂电子硬件需求和代码的一致性检测方法，其特征在于：步骤1.2中，需求本体的概念包括具体需求、信号、模块、电平、功能、行为、信号值；

4.根据权利要求1所述一种机载...

【技术特征摘要】

1.一种机载复杂电子硬件需求和代码的一致性检测方法，其特征在于：包括以下步骤：

2.根据权利要求1所述一种机载复杂电子硬件需求和代码的一致性检测方法，其特征在于：步骤1.1中，首先基于需求解释文本前具有“【com】”标识，以及需求文本的功能小标题文本长度不超过五个字符的特征，进行需求文本预处理；然后人工剔除大于5字符的功能小标题和与代码逻辑无关的硬件需求文本。

3.根据权利要求1所述一种机载复杂电子硬件需求和代码的一致性检测方法，其特征在于：步骤1.2中，需求本体的概念包括具体需求、信号、模块、电平、功能、行为、信号值；

4.根据权利要求1所述一种机载复杂电子硬件需求和代码的一致性检测方法，其特征在于：步骤1.4中，深度学习模型包括：词嵌入层、双向lstm层、全连接层和条件随机场层；其中：

5.根据权利要求1所述一种机载复杂电子硬件需求和代码的一致性检测方法，其特征在于：步骤2.2中，将verilog代码中的语句实体概念分为：...

【专利技术属性】
技术研发人员：郑炜，张永杰，
申请(专利权)人：西北工业大学，
类型：发明
国别省市：