-
公开(公告)号:CN116108449B
公开(公告)日:2024-02-23
申请号:CN202310067956.2
申请日:2023-01-12
Applicant: 清华大学
IPC: G06F21/57 , G06F18/23 , G06N3/0464
Abstract: 本申请提供一种软件模糊测试方法、装置、设备及存储介质,该方法包括:将初始种子文件输入至待测试软件中,获取测试过程中产生的输入字节、二进制程序指令和程序基本块之间的对应关系;利用最小聚类算法,将输入字节中的最小连续字节整合成字段,得到字段边界信息;进而确定程序基本块和字段的对应关系;将字段对应的程序基本块信息输入到预训练的神经网络模型,确定字段的字段类型;将字段类型记录在预设格式的文件中,得到格式模板文件;采用模糊测试工具,基于格式模板文件对软件进行模糊测试,记录变异执行结果,并进行软件模糊测试的自适应优化,提高了软件测试的效率。
-
公开(公告)号:CN119108007A
公开(公告)日:2024-12-10
申请号:CN202411234445.6
申请日:2024-09-04
Applicant: 天津市肿瘤医院(天津医科大学肿瘤医院) , 北京华信医院(清华大学第一附属医院)
Abstract: 本发明公开了一种基于SP3和GRIK1的计算机辅助药物筛选方法、系统及设备。本申请基于SP3诱导GRIK1介导小胶质细胞中的NLRP3炎症小体激活的关系通过计算机虚拟筛选药物,有助于提高抑制药物的筛选效率,缩短筛选周期,为阿尔茨海默病的治疗提供新的策略。
-
公开(公告)号:CN116108449A
公开(公告)日:2023-05-12
申请号:CN202310067956.2
申请日:2023-01-12
Applicant: 清华大学
IPC: G06F21/57 , G06F18/23 , G06N3/0464
Abstract: 本申请提供一种软件模糊测试方法、装置、设备及存储介质,该方法包括:将初始种子文件输入至待测试软件中,获取测试过程中产生的输入字节、二进制程序指令和程序基本块之间的对应关系;利用最小聚类算法,将输入字节中的最小连续字节整合成字段,得到字段边界信息;进而确定程序基本块和字段的对应关系;将字段对应的程序基本块信息输入到预训练的神经网络模型,确定字段的字段类型;将字段类型记录在预设格式的文件中,得到格式模板文件;采用模糊测试工具,基于格式模板文件对软件进行模糊测试,记录变异执行结果,并进行软件模糊测试的自适应优化,提高了软件测试的效率。
-
-