公开(公告)号：CN113986727A

公开(公告)日：2022-01-28

申请号：CN202111254025.0

申请日：2021-10-27

Applicant: 中国核动力研究设计院

Inventor： 冯晋涛 ,  芦韡 ,  冯子亮 ,  张娜 ,  杨洪润 ,  卢川 ,  曾辉 ,  肖安洪 ,  马永强 ,  刘玲霜 ,  张吉斌 ,  周俊燚 ,  陈俊杰 ,  蓝晓燕 ,  寄锦芳

IPC: G06F11/36

Abstract: 本发明公开了基于热力图的函数覆盖率检测方法、系统、终端及介质，涉及软件测试技术领域，其技术方案要点是：采用简单的插桩方式，实现了函数覆盖率的统计；同时通过绘制函数覆盖热力图的方式，实现了集成测试中函数覆盖情况的可视化表示；函数覆盖率未达到100％时，依据函数覆盖汇总热力图中的热力值分布密度筛选出指标函数，并根据所有的指标函数匹配得到新增测试算例，重新执行程序直至函数覆盖率达到100％。本发明对于覆盖率检测和提升覆盖率的工作来说，具有方便、快捷、可操作性强的优点，在实际应用中具有较好的效果，且为增加测试算例提供了基础信息，从而提高集成测试阶段的覆盖率测试效率。

公开(公告)号：CN113986727B

公开(公告)日：2024-04-23

申请号：CN202111254025.0

申请日：2021-10-27

Applicant: 中国核动力研究设计院

Inventor： 冯晋涛 ,  芦韡 ,  冯子亮 ,  张娜 ,  杨洪润 ,  卢川 ,  曾辉 ,  肖安洪 ,  马永强 ,  刘玲霜 ,  张吉斌 ,  周俊燚 ,  陈俊杰 ,  蓝晓燕 ,  寄锦芳

IPC: G06F11/36

Abstract: 本发明公开了基于热力图的函数覆盖率检测方法、系统、终端及介质，涉及软件测试技术领域，其技术方案要点是：采用简单的插桩方式，实现了函数覆盖率的统计；同时通过绘制函数覆盖热力图的方式，实现了集成测试中函数覆盖情况的可视化表示；函数覆盖率未达到100％时，依据函数覆盖汇总热力图中的热力值分布密度筛选出指标函数，并根据所有的指标函数匹配得到新增测试算例，重新执行程序直至函数覆盖率达到100％。本发明对于覆盖率检测和提升覆盖率的工作来说，具有方便、快捷、可操作性强的优点，在实际应用中具有较好的效果，且为增加测试算例提供了基础信息，从而提高集成测试阶段的覆盖率测试效率。

公开(公告)号：CN113986728A

公开(公告)日：2022-01-28

申请号：CN202111254721.1

申请日：2021-10-27

Applicant: 中国核动力研究设计院

Inventor： 芦韡 ,  冯晋涛 ,  冯子亮 ,  张娜 ,  杨洪润 ,  卢川 ,  安萍 ,  涂晓兰 ,  肖安洪 ,  刘玲霜 ,  周俊燚 ,  吕新知 ,  陈俊杰 ,  蓝晓燕 ,  文杰

IPC: G06F11/36

Abstract: 本发明公开了基于热力图的集成测试用例最小集分析方法、系统及终端，涉及软件测试领域，其技术方案要点是：获取待测程序在集成测试阶段的基础测试用例集；执行基础测试用例集中的多个测试用例，建立相应的函数覆盖热力图；将多个函数覆盖热力图中的热力值对应叠加后得到总热力图，直至总热力图显示覆盖全部函数，组成完整测试用例集；选取总热力图中热力值最高的函数作为目标函数，并获取调用目标函数的所有测试用例中函数平均执行时间最短的测试用例作为目标测试用例，将总热力图中对应行列的热力值清除，直至总热力图的热力值全部为零，所有的目标测试用例组成为测试用例最小集。可以高效地完成集成测试以及后续的回归测试工作。

公开(公告)号：CN115437327A

公开(公告)日：2022-12-06

申请号：CN202211122425.0

申请日：2022-09-15

Applicant: 中国核动力研究设计院

Inventor： 武有光 ,  张子鹏 ,  彭浩 ,  吴志强 ,  马权 ,  罗晓君 ,  穆兰芬 ,  肖安洪 ,  靳津 ,  王恺 ,  杨宗昊 ,  周岱

IPC: G05B19/418

Abstract: 为解决现有技术采用人工方式设计DCS设备或软件存在的依赖设计人员经验和人工投入导致的设计质量不高和投入大的问题，本发明实施例提供一种智能化核安全级DCS设计与验证方法、系统及存储介质，包括：采用图像识别提取上游DCS输入文件中DCS设计数据形成功能需求数据库；根据DCS软件设计要求、软件设计规范和软件设计原则形成软件设计规则库；利用测试用例设计规范形成的用例设计规则库；根据DCS硬件设计要求、硬件设计规范和硬件设计原则形成硬件设计规则库；使用软件设计规则库和功能需求数据库，形成软件工程数据包；使用硬件设计规则库和功能需求数据库，形成硬件工程数据包；使用功能需求数据库和用例设计规则库形成测试脚本，进行测试验证形成测试报告。

公开(公告)号：CN115437327B

公开(公告)日：2024-10-11

申请号：CN202211122425.0

申请日：2022-09-15

Applicant: 中国核动力研究设计院

Inventor： 武有光 ,  张子鹏 ,  彭浩 ,  吴志强 ,  马权 ,  罗晓君 ,  穆兰芬 ,  肖安洪 ,  靳津 ,  王恺 ,  杨宗昊 ,  周岱

IPC: G05B19/418

Abstract: 为解决现有技术采用人工方式设计DCS设备或软件存在的依赖设计人员经验和人工投入导致的设计质量不高和投入大的问题，本发明实施例提供一种智能化核安全级DCS设计与验证方法、系统及存储介质，包括：采用图像识别提取上游DCS输入文件中DCS设计数据形成功能需求数据库；根据DCS软件设计要求、软件设计规范和软件设计原则形成软件设计规则库；利用测试用例设计规范形成的用例设计规则库；根据DCS硬件设计要求、硬件设计规范和硬件设计原则形成硬件设计规则库；使用软件设计规则库和功能需求数据库，形成软件工程数据包；使用硬件设计规则库和功能需求数据库，形成硬件工程数据包；使用功能需求数据库和用例设计规则库形成测试脚本，进行测试验证形成测试报告。

公开(公告)号：CN113986728B

公开(公告)日：2024-04-23

申请号：CN202111254721.1

申请日：2021-10-27

Applicant: 中国核动力研究设计院

Inventor： 芦韡 ,  冯晋涛 ,  冯子亮 ,  张娜 ,  杨洪润 ,  卢川 ,  安萍 ,  涂晓兰 ,  肖安洪 ,  刘玲霜 ,  周俊燚 ,  吕新知 ,  陈俊杰 ,  蓝晓燕 ,  文杰

IPC: G06F11/36

Abstract: 本发明公开了基于热力图的集成测试用例最小集分析方法、系统及终端，涉及软件测试领域，其技术方案要点是：获取待测程序在集成测试阶段的基础测试用例集；执行基础测试用例集中的多个测试用例，建立相应的函数覆盖热力图；将多个函数覆盖热力图中的热力值对应叠加后得到总热力图，直至总热力图显示覆盖全部函数，组成完整测试用例集；选取总热力图中热力值最高的函数作为目标函数，并获取调用目标函数的所有测试用例中函数平均执行时间最短的测试用例作为目标测试用例，将总热力图中对应行列的热力值清除，直至总热力图的热力值全部为零，所有的目标测试用例组成为测试用例最小集。可以高效地完成集成测试以及后续的回归测试工作。

公开(公告)号：CN109032679A

公开(公告)日：2018-12-18

申请号：CN201810846405.5

申请日：2018-07-27

Applicant: 中国核动力研究设计院

Inventor： 郑丹晨 ,  张明 ,  刘东 ,  刘卫华 ,  关仲华 ,  曾辉 ,  何腾蛟 ,  王加昌 ,  赵欣 ,  肖安洪 ,  黄超 ,  马邓勇 ,  卢嘉川 ,  冯云姣 ,  王媛美

IPC: G06F9/4401

CPC classification number: G06F9/4401

Abstract: 本发明公开了一种基于可配置数据集合模型的核电厂SAMG自动引导方法，包括以下步骤：S1：将SAMG引导软件分为平台层和机组导则相关层；所述平台层提供SAMG基础功能；所述机组导则相关层预设机组导则文件；S2：所述平台层读取机组导则文件完成SAMG引导软件配置。本发明一种基于可配置数据集合模型的核电厂SAMG自动引导方法，当针对不同机组时，只需要将机组导则文件进行修改，就可以实现对不同机组的适用，具有很好的通用性。