公开(公告)号：CN118567982A

公开(公告)日：2024-08-30

申请号：CN202410691164.7

申请日：2024-05-30

Applicant: 航天中认软件测评科技(北京)有限责任公司

Inventor： 赵国亮 ,  赵琪 ,  连雪飞 ,  张世伟 ,  史安博

IPC: G06F11/36

Abstract: 本公开涉及一种基于模型库的FPGA软件仿真验证平台及方法，包括：获取被测FPGA软件包括FPGA芯片标识的基本信息和源文件，构建多种类型的可重用模型库，基于FPGA芯片标识从所有FPGA库文件中匹配对应的FPGA库文件，基于基本信息和源文件获取接口协议，并基于接口协议、模型库和场景类型生成接口协议测试用例，基于基本信息和源文件获取功能测试点，基于功能测试点、模型库和场景类型生成功能测试点测试用例，基于FPGA库文件执行接口协议测试用例和功能测试点测试用例得到多个代码覆盖率，合并所有测试用例对应的代码覆盖率得到最终代码覆盖率。由此，提升FPGA仿真验证效率。

公开(公告)号：CN113849401A

公开(公告)日：2021-12-28

申请号：CN202111112045.4

申请日：2021-09-18

Applicant: 航天中认软件测评科技(北京)有限责任公司

Inventor： 赵国亮 ,  赵琪 ,  齐跃 ,  董丽 ,  姜晶 ,  张世伟 ,  汪峰 ,  王泳森 ,  王书梅 ,  荆怀成 ,  郎静 ,  白耀柱 ,  曹博麟 ,  王盈心 ,  史安博

IPC: G06F11/36 ,  G06F11/07 ,  G06F40/284 ,  G06F16/35 ,  G06K9/62

Abstract: 本公开涉及一种基于DFMEA的FPGA软件故障模式分析方法和装置，其中，方法包括：基于现场可编程逻辑门阵列FPGA进行需求分析，获取FPGA系统结构；基于FPGA系统结构按照功能进行分解，获取多个功能模块；将每个功能模块按照设计类型进行设计约定层次分析，获取设计结果；对每个功能模块进行故障预测，获取故障模式，以及每个故障的故障原因、故障影响和严酷度；基于FPGA系统结构、多个功能模块、设计结果、故障模式、故障原因、故障影响和严酷度，生成设计故障模式和影响分析DFMEA统计表；基于DFMEA统计表对故障模式进行分析。由此，分析逻辑简单、设计缺陷覆盖率高。

公开(公告)号：CN117407288A

公开(公告)日：2024-01-16

申请号：CN202311279645.9

申请日：2023-09-28

Applicant: 航天中认软件测评科技(北京)有限责任公司

Inventor： 赵琪 ,  赵国亮 ,  汪锋 ,  张世伟 ,  连雪飞 ,  王盈心 ,  史安博

IPC: G06F11/36

Abstract: 本公开涉及一种基于FPGA测试平台的测试用例推荐方法、装置、设备及介质，其中，方法包括：获取待测FPGA软件的需求文档，对所述需求文档进行关键信息提取，以生成测试关键点梳理表；根据所述测试关键点梳理表中的中每个测试类型下的关键字、关键信息，查询预存的对应关系，以确定匹配的测试用例集；其中，所述对应关系包括测试用例和数据库中历史测试信息的关系；根据所述匹配的测试用例集，进行所述待测FPGA软件的测试。根据本公开的技术方案，能够降低测试成本，提高测试效率。

公开(公告)号：CN117407288B

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

申请号：CN202311279645.9

申请日：2023-09-28

Applicant: 航天中认软件测评科技(北京)有限责任公司

Inventor： 赵琪 ,  赵国亮 ,  汪锋 ,  张世伟 ,  连雪飞 ,  王盈心 ,  史安博

IPC: G06F11/36

Abstract: 本公开涉及一种基于FPGA测试平台的测试用例推荐方法、装置、设备及介质，其中，方法包括：获取待测FPGA软件的需求文档，对所述需求文档进行关键信息提取，以生成测试关键点梳理表；根据所述测试关键点梳理表中的中每个测试类型下的关键字、关键信息，查询预存的对应关系，以确定匹配的测试用例集；其中，所述对应关系包括测试用例和数据库中历史测试信息的关系；根据所述匹配的测试用例集，进行所述待测FPGA软件的测试。根据本公开的技术方案，能够降低测试成本，提高测试效率。