一种基于数据流和状态机的模型覆盖率分析统计方法，包括步骤一，分析数据流和状态机模型；步骤二，条件关键点分析；步骤三，生成模型代码；步骤四，执行及覆盖率分析；所述步骤一中，对于数据流模型进行遍历：根据输出节点获取以其为终止节点的有向边；根...

一种千万行级代码编程规范符合性并行检查方法，包括步骤一，全局信息提取；步骤二，编码规范检查；所述步骤2.2中，如果检查文件是C/CPP文件，则根据规则需求，直接从全局信息库中读取信息，进行分析，如果检查头文件所属翻译单元与当前翻译单元不...

本发明公开了一种提升静态分析精度的中间表示方法，包括以下步骤：步骤一，生成抽象语法树；步骤二，构造控制流图；步骤三，执行指针分析；步骤四，插入mu、chi语句；步骤五，构造支配关系；步骤六，构造控制依赖图；步骤七，替换phi函数；步骤八...

本发明公开了一种提升静态分析精度的符号分析方法，包括以下步骤：步骤一，生成抽象语法树和控制流图；步骤二，生成调用图；步骤三，执行指针分析；步骤四，全局值编号；步骤五，计算CFG支配关系、支配边界以及控制依赖图；步骤六，静态单赋值形式构造...

本发明公开了一种针对中断驱动型嵌入式软件的共享数据分析方法，包括以下步骤：步骤一，前期处理；步骤二，并发流入口分析；步骤三，访问模型建立；步骤四，指针分析；步骤五，数值分析；步骤六，识别共享数据；步骤七，共享数据标记；本发明通过一个通用...

本申请公开了一种基于事务的数据逻辑仿真系统，该系统包括：上位机和数字逻辑仿真装置；其中，上位机，与数字逻辑仿真装置耦合，用于向数字逻辑仿真装置发送待测设计DUT以及仿真指令；数字逻辑仿真装置，接收并装载待测设计以及接收仿真指令，并基于仿...

本发明提供一种仿真测试平台自动生成方法，在基于模块化技术，利用XML文件进行属性数据的配置与存储，执行所配置的数据自动生成测试平台，最后加载到全数字仿真系统VTest中进行运行。采用模块化驱动机制，实现需求与模块匹配方法，解决了以模块为...

本发明公开了一种项目标准测试文档自动化生成方法及装置，方法包括步骤一，建立数据模型；步骤二，创建文档模板；步骤三，获取待填充数据；步骤四，匹配求解算法；步骤五，计算填充数据；步骤六，输出存储文档；装置包括信息获取模块、数据获取模块、数据...

本发明公开了一种基于分片的数字逻辑仿真加速架构，包括上位机软件、PCIE通信接口和硬件加速板卡；本发明解决了单块硬件加速板卡上FPGA资源无法满足被测设计逻辑资源的问题，将被测设计分割若干片分别加载至不同的硬件加速板卡上分片进行仿真加速...

本发明公开了一种一种基于书签实现软件工程数据条目化处理的系统及方法，系统包括配置模块、文档解析模块、关联关系模块和条目化数据编辑模块；方法包括：步骤一，通过预设关键词提取文档段落内容；步骤二，添加自定义书签；步骤三，书签内容转换为xml...

本发明涉及一种可扩展的FPGA仿真验证自动化方法，步骤包括：建立标准规范文件；通过元语法符号和模板引擎建立转换器模型；根据元模型设计转换器，提供专用环境读取被测单元信息；根据元元模型设计转换器，按照表单化视图输入验证用例步骤，生成用户自...

一种基于贝叶斯网络模型的代码生成方法，涉及贝叶斯网络的推理方法和实现，以及自动代码生成技术。本发明方法包括：由待处理概率图模型信息生成对应的贝叶斯网络模型；根据贝叶斯网络模型生成动态C代码文件，结合预设的固定C代码文件，并根据预设的指派...

本发明公开了针对大规模静态缺陷检测的指针分析方法，包括以下步骤：步骤一，解析被分析工程的源代码；步骤二，构造控制流图；步骤三，构造函数调用图；步骤四，对调用图进行拓扑排序；步骤五，执行符号化的局部指针分析；步骤六，完成全程序的指针分析；...

本发明公开了一种基于链表和逆向遍历的汇编代码中if结构识别方法，包括以下步骤：步骤一，创建链表和以地址为索引图的图；步骤二，汇编指令汇总与存储；步骤三，反优化操作；步骤四，逆向遍历链表；步骤五，无条件跳转指令的识别与归纳；步骤六，条件跳...

本发明公开了一种面向多对象系统的关键字驱动测试方法及系统，方法包括步骤一，创建关键字执行流；步骤二，执行关键字；步骤三，测试结果反馈；步骤四，持续测试；步骤五，创建并行执行流；步骤六，切换测试对象；系统包括自动化测试模块、并行执行模块和...

本申请公开了一种修改RTL源代码文件的方法及电子设备，该方法包括：获取待测设计的全部RTL源代码文件以及待测设计顶层RTL源代码的文件名，将每个RTL源代码文件中各模块的例化名与文件名进行关联，并将关联结果保存为树型的数据结构；逐一获取...

本发明公开了精确的中断驱动型嵌入式软件数据竞争动态检测方法，包括以下步骤：步骤一，获取候选同步操作集；步骤二，筛选候选同步操作；步骤三，验证同步操作的准确性；步骤四，检测程序中的数据竞争；相较于现有的数据竞争动态检测方法，本发明通过识别...

本发明公开了提升源代码静态分析工具鲁棒性的方法，包括以下步骤：步骤一，设计鲁棒性编译前端；步骤二，设计语法转译器；步骤三，提升原分析工具的鲁棒性；步骤四，添加零配置；所述步骤1.2中，词法解析模块预留了nextToken接口可供子类实现...

本发明公开了针对实时嵌入式软件源代码覆盖率分析系统，包括CPU指令集模拟器模块，所述CPU指令集模拟器模块包括包括插桩模块、编译模块、目标码符号分析模块、配置文件生成模块、配置接口模块、指令执行模块、时钟计时和维护模块、函数检查模块、函...

本发明公开了一种基于关键字驱动的自动化测试并行执行系统，包括：并行执行管理模块，用于对测试子线程进行管理；关键字步骤并行执行模块，用于创建测试子线程的可执行环境；信息交互模块，用于实现线程间的信息传递和交互；异常处理模块，用于在关键字步...