C++Test针对Codewarrior的软件仿真方法

    公开(公告)号:CN102567069B

    公开(公告)日:2016-08-03

    申请号:CN201010579997.2

    申请日:2010-12-07

    Abstract: 本发明涉及C++Test针对Codewarrior的软件仿真方法,涉及计算机仿真领域。包括:在Codewarrior中编写测试对象;将在Codewarrior中编写的测试对象中的非C语言进行剥离;配置Workbench、C++Test运行Codewarrior的执行环境;在Workbench中运行测试用例,生成测试中间文件;得到C++Test环境下的测试对象的测试结果和覆盖率信息。本方案利用C++Test实现Codewarrior的测试对象在软件仿真程序里的运行,实现了测试对象的静态分析和动态测试的跟踪调试,同时提供测试覆盖率数据支持,减少了硬件需求,缩短了工期,提高了工作效率。

    一种编译器的可视化语法树的生成方法和重构方法

    公开(公告)号:CN103645986A

    公开(公告)日:2014-03-19

    申请号:CN201310629025.3

    申请日:2013-11-29

    Abstract: 本发明涉及一种编译器的可视化语法树的生成方法和重构方法,其中,该生成方法包括:步骤(1),解析编译器语义分析模块接收到的语法树,确定语法树的节点信息,节点信息至少包括:节点类型名、节点位置、以及节点属性值;步骤(2),翻译节点属性值,得到相应的节点属性信息,并为语法树中每个节点的节点类型名添加头部标识,得到节点名称,其中,头部标识用于为每个节点提供唯一标识;步骤(3),根据节点名称、以及节点位置,应用预定节点排列算法,对语法树的多个节点进行组织,得到语法树的语法树层级结构,并在语法树层级结构中,关联上节点属性信息;步骤(4),整理树形层级结构,生成可视化语法树;步骤(5),存储可视化语法树。

    一种数据处理方法、装置、电子设备及存储介质

    公开(公告)号:CN118779233A

    公开(公告)日:2024-10-15

    申请号:CN202410891707.X

    申请日:2024-07-04

    Abstract: 本发明提供一种数据处理方法、装置、电子设备及存储介质,所述方法包括:获取核电仪控系统组态的下装文件;基于所述核电仪控系统组态的基础信息确定对应的目标解析配置文件;根据所述目标解析配置文件对所述下装文件进行解析,得到解析结果;基于所述解析结果构建解析报告。在本发明实施例中,不需要人工协助,通过目标解析配置文件对下装文件进行逐一扫描,实现对下装文件的数据含义进行快速解析,实现对下装文件的准确性验证,从而避免存在影响下装文件验证准确性的问题。

    一种电子文档的自动查错方法

    公开(公告)号:CN105589837A

    公开(公告)日:2016-05-18

    申请号:CN201410569484.1

    申请日:2014-10-22

    Abstract: 本发明公开了一种电子文档的自动查错方法,包括:依据被测文档要检查的内容定制检查项;将所述定制检查项生成VBA文件,再将所述VBA文件导入到Office的宏中;所述的VBA文件设置为检查内容定义区、检查项模块区以及执行区;在检查内容定义区是对所述检查项模块标记的变量名和对所述检查项模块的说明;所述检查项模块区用于实现将定制的检查项按照检查流程执行相应的检查逻辑;在所述的执行区中,调用定制好的检查项,并将出错的内容和出错的位置写入到所述检查报告中。与采用人工检查电子文档的方式相比,自动化程度高,且提高了处理效率和准确率。

    核电数字仪控系统可靠性测试方法及装置

    公开(公告)号:CN115774432B

    公开(公告)日:2024-11-26

    申请号:CN202111038015.3

    申请日:2021-09-06

    Abstract: 本申请公开了一种核电数字仪控系统可靠性测试方法及装置。其中,核电数字仪控系统可靠性测试方法包括:获取核电数字仪控系统的设计需求,并根据设计需求确定核电数字仪控系统的测试对象,测试对象包括硬件单产品和系统产品;针对测试对象编写对应的测试用例,测试用例包括硬件单产品测试用例和系统产品测试用例;在产品设计阶段执行硬件单产品测试用例,以对硬件单产品的可靠性进行测试;在系统设计阶段执行系统产品测试用例,以对系统产品的可靠性进行测试。本申请实施例的核电数字仪控系统可靠性测试方法及装置,可有效快速识别硬件单产品和系统产品容错性能、安全性能,方案实现容易,降低成本。

    一种硬件板卡周期运行时间的测试方法

    公开(公告)号:CN102486629B

    公开(公告)日:2013-09-04

    申请号:CN201010576423.X

    申请日:2010-12-01

    Inventor: 黄太新 钱升华

    Abstract: 本发明公开一种硬件板卡周期运行时间的测试方法,涉及光学领域,包括如下步骤:步骤1、将经过时间检验的高精度示波器的信号线连接在测试板卡的TP点上;步骤2、在测试板卡的周期运行程序中插入测试代码;步骤3、根据测试代码在高精度示波器上显示的波形,确定周期运行程序的周期运行时间;步骤4、将高精度示波器得出的周期运行时间与设计的周期运行时间比较,即得到被测试板卡周期运行程序真实的周期运行时间与设计的周期运行时间时间的误差值。本方案采用高精度示波器来测试板卡的周期运行时间,使测试使用的时钟源与板卡自身的时钟源独立开来,避免了由于系统时钟不准确导致的测试周期时间不准确的问题,保证了整个设备的时间统一性。

    C++Test针对Codewarrior的软件仿真方法

    公开(公告)号:CN102567069A

    公开(公告)日:2012-07-11

    申请号:CN201010579997.2

    申请日:2010-12-07

    Abstract: 本发明涉及C++Test针对Codewarrior的软件仿真方法,涉及计算机仿真领域。包括:在Codewarrior中编写测试对象;将在Codewarrior中编写的测试对象中的非C语言进行剥离;配置Workbench、C++Test运行Codewarrior的执行环境;在Workbench中运行测试用例,生成测试中间文件;得到C++Test环境下的测试对象的测试结果和覆盖率信息。本方案利用C++Test实现Codewarrior的测试对象在软件仿真程序里的运行,实现了测试对象的静态分析和动态测试的跟踪调试,同时提供测试覆盖率数据支持,减少了硬件需求,缩短了工期,提高了工作效率。

    基于贝叶斯信度网的核安全级软件验证与确认方法及系统

    公开(公告)号:CN118332541A

    公开(公告)日:2024-07-12

    申请号:CN202410513190.0

    申请日:2024-04-26

    Abstract: 本申请公开了一种基于贝叶斯信度网的核安全级软件验证与确认方法及系统,所述方法包括:构建当前核安全级软件的评估网络模型;针对每个评估网络模型,获取各个评估人员对评估网络模型中的每个目标节点下的每两个节点的相对重要程度值;利用各个评估人员对应的权重加权,得到相对重要程度加权值,并利用相对重要程度加权值构建多个判断矩阵;对各个判断矩阵进行一致性校验;若判断矩阵均通过校验,获取各个评估人员对底层的各个节点的可靠性评估结果,并利用评估人员对应的权重对其进行加权,得到各个节点的可靠性概率;基于贝叶斯公式,利用各个节点的可靠性概率,逐层计算出每个目标节点的可信度概率;基于目标节点的可信度概率生成评估报告。

    核电数字仪控系统可靠性测试方法及装置

    公开(公告)号:CN115774432A

    公开(公告)日:2023-03-10

    申请号:CN202111038015.3

    申请日:2021-09-06

    Abstract: 本申请公开了一种核电数字仪控系统可靠性测试方法及装置。其中,核电数字仪控系统可靠性测试方法包括:获取核电数字仪控系统的设计需求,并根据设计需求确定核电数字仪控系统的测试对象,测试对象包括硬件单产品和系统产品;针对测试对象编写对应的测试用例,测试用例包括硬件单产品测试用例和系统产品测试用例;在产品设计阶段执行硬件单产品测试用例,以对硬件单产品的可靠性进行测试;在系统设计阶段执行系统产品测试用例,以对系统产品的可靠性进行测试。本申请实施例的核电数字仪控系统可靠性测试方法及装置,可有效快速识别硬件单产品和系统产品容错性能、安全性能,方案实现容易,降低成本。

Patent Agency Ranking