-
公开(公告)号：CN108647145B
公开(公告)日：2020-01-03
申请号：CN201810444279.0
申请日：2018-05-10
Applicant: 清华大学
IPC: G06F11/36
Abstract: 本发明实施例提供了一种软件内存安全检测方法及系统，所述方法通过符号执行确定待测试软件的多个预设测试用例文件，并将所述多个预设测试用例文件分别转换为基于导向性变异的模糊测试的初始输入种子；基于所有初始输入种子，对所述待测试软件进行基于导向性变异的模糊测试，所述导向性变异为根据所述待测试软件中程序的覆盖范围进行的变异。本发明实施例提供的软件内存安全检测方法及系统，充分利用了符号执行产生的测试用例文件。同时，对模糊测试中的变异进行改进，得到导向性变异方法。将符号执行与导向性变异结合，对所有初始输入种子中满足条件的种子进行导向性变异，提高了变异的有效性，进而节约了资源。
-
公开(公告)号：CN110633201A
公开(公告)日：2019-12-31
申请号：CN201810750675.6
申请日：2018-07-10
Applicant: 清华大学
IPC: G06F11/36
Abstract: 本发明实施例提供的一种针对程序的集成模糊测试方法及装置，所述方法包括：获取各个基模糊测试器根据测试输入文件测试目标程序生成的测试结果，根据所述测试结果确定有效测试结果，并根据所述有效测试结果获得对应的测试输入文件，作为有效输入文件，将获取到的有效输入文件同步到各个基模糊测试器，以使基模糊测试器根据有效输入文件再次测试所述目标程序，并将测试结果返回，当确定返回的测试结果不存在有效测试结果时，对测试结果进行集中去重及分类处理后输出测试报告，实现每个基模糊测试器之间能够高效率的相互协作，共享高质量测试输入文件，提高模糊测试方法的泛化能力，提升软件系统测试的效率和效果。
-
公开(公告)号：CN108595341B
公开(公告)日：2019-11-22
申请号：CN201810451163.X
申请日：2018-05-11
Applicant: 清华大学
IPC: G06F11/36
Abstract: 本发明实施例提供了测试用例自动生成方法及系统，方法包括：基于符号执行生成测试用例种子，并基于启发式搜索对测试用例种子进行变异，得到第一变异测试用例；分别执行测试用例种子与第一变异测试用例，分别获取对应的执行路径信息，并确定变异的影响结果；根据影响结果，对测试用例种子或第一变异测试用例进行下一次变异，重复执行上述过程，直至满足预设条件。不需要人工参与，自动化程度很高。符号执行与启发式搜索进行结合，提高了整个方法的运行效率，而且采用反馈机制，通过变异的影响结果指导测试用例种子或第一变异测试用例进行下一次变异，这种方法不仅有利于短函数序列的测试用例的生成，对于长函数序列的测试用例的生成也同样适用。
-
公开(公告)号：CN108595165A
公开(公告)日：2018-09-28
申请号：CN201810380083.X
申请日：2018-04-25
Applicant: 清华大学
Abstract: 本发明实施例提供了一种基于代码中间表示的代码补全方法，包括：将代码库中的现有代码解析得到第一中间表达，并采用所述第一中间表达训练语言模型获取有效语言模型；将待推理的上下文转换成第二中间表达，采用搜索算法对所述第二中间表达进行搜索得到上下文；将所述上下文输入所述有效语言模型进行推理得到代码片段，对所述代码片段进行拟合得到补全代码。本发明实施例还提供了一种主动交互装置及非暂态可读存储介质，用来实现所述方法。本发明可以有效提高研发人员的代码开发效率。
-
公开(公告)号：CN108491228A
公开(公告)日：2018-09-04
申请号：CN201810267094.7
申请日：2018-03-28
Applicant: 清华大学
IPC: G06F8/75
Abstract: 本发明提供一种二进制漏洞代码克隆检测方法及系统，其中方法包括：提取待检测二进制代码中的第一函数的函数特征和二进制漏洞代码中的第二函数的函数特征，函数特征包括基本块信息、控制流信息和函数调用信息；将第一函数的函数特征和第二函数的函数特征分别输入预设神经网络，利用预设神经网络计算第一函数和第二函数的相似度；当相似度达到预设阈值时，确定待检测二进制代码中存在二进制漏洞代码的克隆代码。该方法及系统解决了现有代码克隆检测方法所存在的克隆类型检测不全面、准确度低、复杂度高且不易于实现等问题，确保了克隆类型检测的全面性和检测结果的准确性，同时有效提升了检测效率。
-
Patent Agency Ranking
公开(公告)号：CN107341598A
公开(公告)日：2017-11-10
申请号：CN201710485064.9
申请日：2017-06-23
Applicant: 清华大学
Abstract: 本发明公开了一种语义和几何计算结合的复杂建筑规范符合性检测装置，其包括：用户界面模块、语义约束处理模块、几何约束处理模块、几何计算模型库和综合处理模块，该检测装置及其检测方法中，通过几何约束处理模块与语义约束处理模块的松耦合，使得该框架能够兼容纯粹的语义约束检测和几何约束检测，通用性强；此外，也方便用户对规范语义以及建筑构件几何约束处理模块进行独立更新和修改，易于维护和迭代开发。
-
公开(公告)号：CN107341209A
公开(公告)日：2017-11-10
申请号：CN201710494548.X
申请日：2017-06-26
Applicant: 清华大学
IPC: G06F17/30
Abstract: 本发明公开了一种基于语义检索的BIM模型规范检测装置，包括规范与模型输入模块、建筑规范到语义查询的转换模块、BIM模型的语义信息抽取模块、BIM模型的语义模型生成模块、规范完整性检测模块和规范符合性检测模块，该检测装置基于规范的需求对BIM模型进行抽取，缩小了检测空间，提高了语义检测的查询效率；引入SPARQL查询语言和OWL本体技术，解决了BIM模型的存储格式难以被高效检索的问题。
-
公开(公告)号：CN107122505A
公开(公告)日：2017-09-01
申请号：CN201610105189.X
申请日：2016-02-25
Applicant: 中国石油化工股份有限公司 , 清华大学
IPC: G06F17/50
Abstract: 本申请提供一种负荷建模方法及装置，通过获取当前电力系统中各个开关的开合状态；并判断是否预先设置有与当前电力系统对应的目标电力系统，目标电力系统的系统结构与当前电力系统的系统结构相同，且目标电力系统中的每个开关的开合状态均与其对应的当前电力系统中的开关的开合状态相同；进而当判断出预先设置有与当前电力系统对应的目标电力系统时，获取预先设置的目标电力系统的目标负荷模型作为当前电力系统的负荷模型的方式，实现了对电力系统的负荷建模。
-
公开(公告)号：CN106802553A
公开(公告)日：2017-06-06
申请号：CN201710025977.2
申请日：2017-01-13
Applicant: 清华大学
IPC: G05B13/02
Abstract: 本发明提供了一种基于强化学习的铁路机车运行操控系统混合任务调度方法，该方法是一种离线学习过程。方法首先采集机车运行操控系统实际运行或仿真实验中的混合任务集数据，形成混合任务集合并对混合任务集合中的每个任务进行规则化标记。然后将规则化标记后的任务集合作为强化学习系统的输入，构成强化学习环境。强化学习系统应用强化学习算法，考察机车运行操控系统的调度目标进行迭代学习过程，生成对应混合任务集合的 对应关系表，并将该 关系表保存在数据库中。从数据库中挑选出现频率最高的规则作为当前状态的最优规则，形成最终的 对应关系表。机车操控系统运行中可根据 对应关系表，指导生成混合任务的实时调度序列，实现任务调度。
-
公开(公告)号：CN101459518B
公开(公告)日：2011-04-20
申请号：CN200810227848.2
申请日：2008-12-01
Applicant: 清华大学 , 北京清软英泰信息技术有限公司
Abstract: 本发明的一种基于生物特征的数字密钥提取和保护方法，包括特征部署、密钥提取二个阶段，特征部署时，基于注册生物特征采样值来构建应用相关联的特征数学函数，而只发布特征数学函数的局部信息，作为生物密本；密钥提取时，利用生物密本与验证生物特征采样值来重构特征数学函数，当验证生物特征采样值跟注册生物特征采样值足够接近时，重构成功，进而恢复出注册生物特征采样值；然后对恢复出的注册生物特征采样值实施应用相关联的不可逆变换，得到不可逆变换值作为数字生物密钥提供。通过本发明的方法提取和保护的数字密钥与行为人具有唯一对应关系，这种对应关系具有高安全性、低错误率，从而使得行为人的信息安全得以保证。
-
-
-
-
-
-
-
-
-
Search Results
108
records
(took 0.031 seconds)
