恭喜无锡江南计算技术研究所胡夏晖获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网恭喜无锡江南计算技术研究所申请的专利测试程序批量变种方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN114218062B 。
龙图腾网通过国家知识产权局官网在2025-05-23发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202110425772.X,技术领域涉及:G06F11/3604;该发明授权测试程序批量变种方法是由胡夏晖;陈德训;刘鑫;王丽一;谭坚;陈明津设计研发完成,并于2021-04-20向国家知识产权局提交的专利申请。
本测试程序批量变种方法在说明书摘要公布了:本发明公开一种测试程序批量变种方法,包括以下步骤:S1、对测试程序源码进行分析,确定核心代码段区间;S2、得到核心段代码调用的函数代码;S3、对于改变程序执行路径的测试程序,将其核心代码段进行复制并使用ifelse结构对两段相同的核心代码段进行区分,将S2得到的核心段代码调用的函数代码复制,将其中一份函数代码的函数名加上后缀,同时将ifelse结构中if条件内的代码段调用的函数加上后缀;S4、得到变种程序源码;S5、将变种程序源码编译成汇编代码;S6、得到变种汇编代码;S7、将变种汇编代码编译成可执行文件。本发明解决了高速缓存一致性测试程序集合中的程序不够丰富,覆盖面不够全面的问题。
本发明授权测试程序批量变种方法在权利要求书中公布了:1.一种测试程序批量变种方法,其特征在于:应用高速缓存一致性测试程序集合作为测试程序集合,所述高速缓存一致性测试程序集合含的测试程序使用同样的测试程序库,测试程序源码有同样的特征,使得对测试程序源码的分析方法有同样的规则;包括以下步骤:S1、应用分析规则对测试程序源码进行分析,确定核心代码段区间;S2、对于S1中得到的核心代码段区间,为其函数调用关系建立函数栈,分析核心段代码的函数调用情况,得到核心段代码调用的函数代码;S3、对于改变程序执行路径的测试程序,将其核心代码段进行复制并使用ifelse结构对两段相同的核心代码段进行区分,将S2得到的核心段代码调用的函数代码复制,将其中一份函数代码的函数名加上后缀,同时将ifelse结构中if条件内的代码段调用的函数加上后缀;S4、对于不改变程序执行路径的测试程序,将其核心段代码和核心段代码调用的函数代码的起始位置分别添加嵌汇编代码,作为界定开始标记和界定结束标记,得到变种程序源码;对于改变程序执行路径的变种方法,将ifelse结构中if条件内复制的核心段代码起始位置分别添加嵌汇编代码,并将核心段代码调用的函数代码中,函数名加入后缀的函数代码起始位置,分别添加嵌汇编代码作为界定开始标记和界定结束标记,得到变种程序源码;S5、将S4中得到的变种程序源码编译成汇编代码,该汇编代码中包含界定开始标记和界定结束标记;S6、对于S5中得到的汇编代码,将界定开始标记和界定结束标记之间的汇编代码中的访存指令替换成不可Cache指令或在访存指令前后添加Cache控制类指令,得到变种汇编代码;S7、将S6中得到变种汇编代码编译成可执行文件。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人无锡江南计算技术研究所,其通讯地址为:214038 江苏省无锡市滨湖区山水东路699号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。