公开(公告)号：CN118152264A

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

申请号：CN202410134224.5

申请日：2024-01-31

Applicant: 上海航天计算机技术研究所

Inventor： 陈芳 ,  申臻 ,  高赛军 ,  李耀 ,  马玉奇 ,  宋雷军

IPC: G06F11/36 ,  G06F8/53 ,  G06F9/455

Abstract: 本发明涉及目标码覆盖率分析技术领域，公开了一种基于QEMU的AArch64架构可执行程序的目标码覆盖率分析方法，包括：S1：附加‑d、‑D指令激活QEMU虚拟机实时记录执行指令并生成日志文件；S2：在所述虚拟环境中运行所述AArch64架构的可执行程序生成可执行程序的反汇编文件，执行测试用例集直至测试完成；S3：解析所述可执行程序的反汇编文件，设计多层嵌套结构实现源码与目标码的一一对应，同时基于机器码串关联所述反汇编文件与所述QEMU日志文件，同时通过多条件匹配来统计目标码覆盖率信息并构建可视化显示界面，实现目标码的无损覆盖率分析。有效避免插桩带来的源码变更与代码膨胀，从而实现无损覆盖率分析。

公开(公告)号：CN118138357A

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

申请号：CN202410422474.9

申请日：2024-04-09

Applicant: 上海航天计算机技术研究所

Inventor： 单昕昕 ,  于清华 ,  高赛军 ,  陈芳 ,  尹龙雯

IPC: H04L9/40

Abstract: 本发明公开了一种基于通用域适应的跨数据集网络入侵检测方法，针对源域数据集和目标域数据集通过在不同的系统和场景中抓取流量数据、记录网络流特征和攻击类型而构成，其标签空间不同、特征空间不同，从有标签的源域数据集中学习分类知识，预测出两个数据集的公共标签，在无标签的目标域数据集上完成公共类别和未知类别的网络入侵检测，实现了跨数据集的网络入侵检测，具体包括：数据集特征数值化、训练网络入侵检测模型、训练目标域数据检测模型和目标域数据集的网络入侵检测等步骤。实现了跨数据集的网络入侵检测，解决了数据特征维度不同、目标域未知类分析、公共标签预测等问题。

公开(公告)号：CN116861950A

公开(公告)日：2023-10-10

申请号：CN202310755137.7

申请日：2023-06-26

Applicant: 上海航天计算机技术研究所

Inventor： 李耀 ,  申臻 ,  高赛军 ,  刘涛 ,  宋力立

IPC: G06N3/04 ,  G06N3/048 ,  G06N3/047 ,  G06N3/06 ,  G06N3/08

Abstract: 本发明公开了一种面向深度神经网络模型的神经元覆盖统计方法，包括步骤1：面向待测试深度神经网络模型，获取有效、统一的数据集以及对应的标签信息；步骤2：修改神经网络模型源码，注册Hook函数，用于获取深度神经网络模型在前向传播过程中每个神经元的激活值；步骤3：将步骤1所整理好的样本数据集和标签输入至步骤2所修改后的深度神经网络模型中并运行，获取神经元激活值数据文件；步骤4：读取步骤3所生成的神经元激活值数据文件，以每一层为单位，统计各个神经元的激活频次；步骤5：根据步骤4所统计的各神经元激活频次，按激活频次降序对神经元进行排序；步骤6：生成神经元激活概率分布数据文件，绘制并展示概率分布曲线图。

公开(公告)号：CN113821075A

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

申请号：CN202111134680.2

申请日：2021-09-27

Applicant: 上海航天计算机技术研究所

Inventor： 左丽丽 ,  吴维林 ,  于清华 ,  刘国斌 ,  高赛军

IPC: G06F1/12

Abstract: 本发明公开了异步多比特信号跨时钟域处理方法及装置，该方法包括：S100：获取基于第一时钟域的初始信号；S200：将所述第一时钟域下的初始信号依次基于第二时钟域进行一级、二级、三级同步处理，得到同步后基于第二时钟域下的二级同步信号和三级同步信号；S300：将基于所述第二时钟域时序逻辑下的二级同步信号与三级同步信号进行判断，若二级同步信号与三级同步信号的值相等，则输出三级同步信号的值，否则输出值保持上一时刻的值不变。本发明基于对异步多比特信号的三级同步后，对同步后的值进行判断，最终将一个周期的非预期值进行滤除，成功还原了原信号特性。该种方法简单易实现，且占用逻辑资源少。

公开(公告)号：CN111307304B

公开(公告)日：2021-09-07

申请号：CN202010160021.5

申请日：2020-03-09

Applicant: 上海航天计算机技术研究所

Inventor： 陶艳 ,  薛垒 ,  代晓倩 ,  高赛军 ,  张风玲 ,  叶竹 ,  马海燕

IPC: G01J11/00

Abstract: 本发明提供了一种红外钟形脉冲特征参量提取验证方法及平台，包括：选定和加载信号模板，并绘制红外脉冲信号；根据实验需要设置环境参数；将信号模板和环境参数进行统一管理，生成实验输入数据；提取实验输出数据，生成红外钟形脉冲特征参量提取结果。本发明基于信号模板识别红外钟形脉冲特征参量，可以覆盖多种目标和干扰类型，保证测试场景的复杂多样性；使用有限集合实现红外钟形脉冲特征参量的全面验证；并且通过单次识别特征参量的标准化来实现测试标准化；在保证不变动被测软件的前提下实现动态测试。

公开(公告)号：CN112799942A

公开(公告)日：2021-05-14

申请号：CN202110120629.X

申请日：2021-01-28

Applicant: 上海航天计算机技术研究所

Inventor： 魏冬冬 ,  申臻 ,  于清华 ,  高赛军 ,  薛垒

IPC: G06F11/36

Abstract: 本发明公开了一种基于Keil C51的软件源码和目标码覆盖率分析方法和系统，方法包括：S1：加载包括软件源码、目标码和M51文件在内的信息文件；S2：对所加载的信息文件进行解析，生成软件源码与目标码PC地址关联的对应关系文件；S3：利用Keil平台的软件可执行环境执行测试用例，并通过Keil命令生成当前用例的目标码执行结果文件；在执行多个测试用例时，生成多个目标码执行结果文件；S4：对一个或多个目标码执行结果文件中的目标码的每条指令的执行情况进行合并汇总，生成目标码覆盖率分析文件，并根据对应关系文件，生成软件源码覆盖率分析文件。本发明利用软件源码与目标码的对应关系，即可生成软件源码的覆盖率分析文件，避免插桩带来的目标码差异。