恭喜清华大学陈渝获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网恭喜清华大学申请的专利一种程序检测方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN112988587B 。
龙图腾网通过国家知识产权局官网在2025-06-20发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202110325581.6，技术领域涉及：G06F11/3668；该发明授权一种程序检测方法及装置是由陈渝;肖奇学;史元春设计研发完成，并于2021-03-26向国家知识产权局提交的专利申请。
本一种程序检测方法及装置在说明书摘要公布了：本发明公开了一种程序检测方法及装置，可以将种子文件输入待测试程序中进行混合符号执行，确定种子路径，在进行混合符号执行的过程中，确定基本块执行信息的时间序列数据并进行聚类，将目标子程序划分为至少一个阶段子程序，记录测试用例在至少一个阶段子程序中的种子状态值，按照符号执行策略将种子状态值输入至待测试程序中开展符号执行测试。本发明可以使得符号执行能在短时间内到达至种子状态值在某个阶段子程序中对应的输入相关语句处，并可以从该语句处继续开展符号执行测试，在有限时间内对其它分支路径进行更长时间的探索，在有限时间内对待测试程序中更多或者更深的路径进行探索，提高对待测试程序的代码覆盖率，提高程序检测效率。
本发明授权一种程序检测方法及装置在权利要求书中公布了：1.一种程序检测方法，其特征在于，包括： 将种子文件输入待测试程序中进行混合符号执行，以确定所述待测试程序中的种子路径，所述种子文件中包括测试用例； 在将所述种子文件输入所述待测试程序中进行混合符号执行的过程中，确定基本块执行信息的时间序列数据； 对所述时间序列数据进行聚类，以将目标子程序划分为至少一个阶段子程序，所述目标子程序由所述待测试程序在所述种子路径上的基本块构成； 记录所述测试用例在至少一个所述阶段子程序中的种子状态值； 按照符号执行策略，将至少一个所述种子状态值输入至所述待测试程序中开展符号执行测试。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人清华大学，其通讯地址为：100084 北京市海淀区清华园；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号