-
公开(公告)号：CN114218065B
公开(公告)日：2025-04-08
申请号：CN202110453215.9
申请日：2021-04-26
Applicant: 无锡江南计算技术研究所
IPC: G06F11/3604
Abstract: 本发明公开一种指令流一致性测试方法，S1、初始化各项参数；S2、读入命令行参数；S3、设置共享空间的大小，申请共享的可执行空间；S4、Fork进程，并将进程绑定在不同核心上；S5、进入指令Cache测试入口模块，初始化由随机数组成的数组，并添加前缀指令；S6、进入自动测试模块；S7、进入执行指令模块；S8、执行指令模块运行结束，并进入结束测试模块；S9、在结束测试模块中，判断是否超过设定的执行遍数，如果超过，则进行结果校验，如果没超过，则再次进入自动测试模块；S10、结束测试后，汇报测试结果并回收进程，然后退出并结束。本发明解决了指令Cache一致性验证困难的问题。
-
公开(公告)号：CN114564397A
公开(公告)日：2022-05-31
申请号：CN202210185716.8
申请日：2022-02-28
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 本发明公开一种基于控制约束的访存测试程序生成方法，包括以下步骤：步骤1、生成控制核心运行的程序，在其中声明可操作的地址空间大小以及首地址，并生成计算核心的代码段；步骤2、生成计算核心访存测试程序，将计算核心的访存首地址设置成控制程序申请的可操作首地址；步骤3、在计算核心访存地址遍历生成时，进行地址访存序列的控制生成；步骤4、根据步骤3中获得的参数，形成对应的测试程序。本发明面向国产向众核异构处理器实现满足约束条件的随机访存测试，另外能够根据访存策略进行定制，对处理器的存储一致性实现有针对性的验证测试，实现了合法且随机的访存测试程序生成。
-
公开(公告)号：CN114564396A
公开(公告)日：2022-05-31
申请号：CN202210185468.7
申请日：2022-02-28
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 本发明公开一种基于数据路径约束求解的随机指令测试程序生成方法，包括以下步骤：S1、循环读取基于约束求解的随机指令序列文件，每次读取一行，若为空则跳转至S7；S2、根据S1中读取的内容，解析指令格式，获取指令名称以及指令格式中每一个操作数的类型；S3、随机读取与S2中解析的指令对应的数据路径约束求解结果文件，获取一组基于数据路径约束的验证元组数据；S4、将S3中获取的验证元组数据按照对界要求预先存储到局存空间中；S5、根据S1中自随机指令序列文件读取的当前随机指令；S6、跳转至S1继续读取指令序列进行解析；S7、生成结果校验代码。本发明可以提升随机指令测试的有效性。
-
公开(公告)号：CN112433930A
公开(公告)日：2021-03-02
申请号：CN201910788893.3
申请日：2019-08-26
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 本发明公开一种基于信息摘要值实现的程序结果校验方法，包括以下步骤：S1、在程序头部设置初始的校验值；S2、用户根据需要检验的地址空间或者文件，在程序的任意位置设置校验对象，并对校验的对象地址空间或者文件进行约束；S3、在程序中设置多个校验点，当程序执行到每个校验点时，系统根据前一个校验点与本校验点之间的校验对象的数值生成一个基本单位校验值；S4、系统在每一个校验点将当前生成的校验值与对应位置的初始的校验值进行比较，比较一致则输出校验成功标志，否则输出校验失败标志；S5、反复执行S4，完成所有校验点的结果校验。本发明为不便于结果校验或者结果校验方式复杂的实际应用课题在处理器测试验证中的应用提供了可能性，提升测试覆盖面。
-
公开(公告)号：CN112416666A
公开(公告)日：2021-02-26
申请号：CN201910771716.4
申请日：2019-08-21
Applicant: 无锡江南计算技术研究所
IPC: G06F11/22
Abstract: 本发明公开一种自检随机测试方法及随机循环测试装置，S1、控制单元调用随机指令生成器，并将随机指令生成器生成的运算控制核心的随机指令段和运算核心的随机指令段分别嵌入运算控制核心的程序框架和运算核心的程序框架中，形成汇编程序；S2、控制单元根据程序结构调用编译脚本，将生成的汇编程序编译成可执行的随机测试程序；S3、编译完成后，控制单元调用测试管理系统运行S2中生成的可执行的随机测试程序，并监控测试结果；S4、测试完返回控制单元，等待产生新的随机测试程序，进行下一次测试。本发明通过生成不需要依赖模拟器的随机测试程序，更高效地暴露更多的处理器软硬件设计及环境问题，弥补硅前验证效率低、覆盖不全面的问题。
-
Patent Agency Ranking
公开(公告)号：CN105487958A
公开(公告)日：2016-04-13
申请号：CN201510830351.X
申请日：2015-11-24
Applicant: 无锡江南计算技术研究所
CPC classification number: G06F11/3024 , G06F11/3409
Abstract: 本发明提供了一种处理器内部行为监测方法，包括：执行处理器对于性能事件计数器的保留恢复处理；其中，在处理器进程调度与切换过程中，在操作系统层进行切换进程之前，采用软件方式对处理器性能计数器的内容予以保留与转储，在处理器完成对性能计数器寄存器复位完成之后，再恢复上述计数器的内容；运行支持处理器性能事件计数器保留恢复处理的操作系统；实现处理器单个性能事件的性能计数监测；实现处理器批量性能事件的性能计数监测。
-
公开(公告)号：CN114218065A
公开(公告)日：2022-03-22
申请号：CN202110453215.9
申请日：2021-04-26
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 本发明公开一种指令流一致性测试方法，S1、初始化各项参数；S2、读入命令行参数；S3、设置共享空间的大小，申请共享的可执行空间；S4、Fork进程，并将进程绑定在不同核心上；S5、进入指令Cache测试入口模块，初始化由随机数组成的数组，并添加前缀指令；S6、进入自动测试模块；S7、进入执行指令模块；S8、执行指令模块运行结束，并进入结束测试模块；S9、在结束测试模块中，判断是否超过设定的执行遍数，如果超过，则进行结果校验，如果没超过，则再次进入自动测试模块；S10、结束测试后，汇报测试结果并回收进程，然后退出并结束。本发明解决了指令Cache一致性验证困难的问题。
-
公开(公告)号：CN114218064A
公开(公告)日：2022-03-22
申请号：CN202110426746.9
申请日：2021-04-20
Applicant: 无锡江南计算技术研究所
Abstract: 本发明公开一种基于遗传算法的极端测试用例生成方法，包括以下步骤：S1、种群生成器生成初始种群；S2、适应值计算器对S1中获得的初始种群中每个个体进行适应值计算；S3、适应值收集模块收集所有个体的适应值，并反馈给遗传算法核心；S4、遗传算法核心判断是否获得近优解，得到近优解并跳转到S5，若还未获得近优解，遗传算法核心根据上一代的适应值结果，交叉和变异产生多组指令序列，并由种群生成器嵌入汇编代码，生成下一代种群，跳转到S2；S5、得到近优解汇编代码。本发明不需要人工排指令来编写极端测试用例，可以自动生成特定的极端测试用例。
-
公开(公告)号：CN114218062A
公开(公告)日：2022-03-22
申请号：CN202110425772.X
申请日：2021-04-20
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 本发明公开一种测试程序批量变种方法，包括以下步骤：S1、对测试程序源码进行分析，确定核心代码段区间；S2、得到核心段代码调用的函数代码；S3、对于改变程序执行路径的测试程序，将其核心代码段进行复制并使用if/else结构对两段相同的核心代码段进行区分，将S2得到的核心段代码调用的函数代码复制，将其中一份函数代码的函数名加上后缀，同时将if/else结构中if条件内的代码段调用的函数加上后缀；S4、得到变种程序源码；S5、将变种程序源码编译成汇编代码；S6、得到变种汇编代码；S7、将变种汇编代码编译成可执行文件。本发明解决了高速缓存一致性测试程序集合中的程序不够丰富，覆盖面不够全面的问题。
-
公开(公告)号：CN112732549A
公开(公告)日：2021-04-30
申请号：CN201910975074.X
申请日：2019-10-14
Applicant: 无锡江南计算技术研究所
Abstract: 本发明公开了一种基于聚类分析的测试程序分类方法，包括以下步骤：在多个处理器上批量运行测试程序，在一次运行过程中获取所有维度的计数；根据性能计数信息，对高维度性能计数数据进行降维处理，将计数数据转换为机器学习算法能够处理的向量数据；将降维处理之后的有效性能计数数据作为课题特征的特征数据作为机器学习算法的输入，利用K_means算法对其进行计算并分类；将K_means算法得到的误差作为神经网络中的交叉熵的损失函数，通过卷积神经网络模型对整个分类结果评估优化，输出优化后的结果。本发明实现了对测试程序进行客观分类的目的，对测试向量的精简与测试覆盖的质量具有客观指导意义。且该方法不需要依赖特定的硬件，运行条件简单，实用性高。
-
-
-
-
-
-
-
-
-
Search Results
32
records
(took 0.038 seconds)
