-
公开(公告)号：CN112559299B
公开(公告)日：2022-07-12
申请号：CN201910919650.9
申请日：2019-09-26
Applicant: 无锡江南计算技术研究所
Abstract: 本发明公开了一种用于处理器测试过程的监督方法，基于多视图显示基础库，所述多视图显示基础库的编码方式为组件式编码，进一步包括内视图组件和大视图组件；所述内视图组件用于预处理shell终端颜色符、非Unicode中文、换行符等文本信息，根据当前终端可以显示的文本行数和列数，配置文本在窗口中显示的位置，配置文本在窗口中显示的位置，所述大视图组件用于进一步处理和刷新文本信息，将文本以多视图的方式输出在屏幕上，根据设定的刷新时间，刷新显示的文本信息。本发明能及时发现并应对测试过程中可能出现的多种情况，需要对资源和课题运行结果进行实时监控。
-
公开(公告)号：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、测试完返回控制单元，等待产生新的随机测试程序，进行下一次测试。本发明通过生成不需要依赖模拟器的随机测试程序，更高效地暴露更多的处理器软硬件设计及环境问题，弥补硅前验证效率低、覆盖不全面的问题。
-
公开(公告)号：CN105487958A
公开(公告)日：2016-04-13
申请号：CN201510830351.X
申请日：2015-11-24
Applicant: 无锡江南计算技术研究所
CPC classification number: G06F11/3024 , G06F11/3409
Abstract: 本发明提供了一种处理器内部行为监测方法，包括：执行处理器对于性能事件计数器的保留恢复处理；其中，在处理器进程调度与切换过程中，在操作系统层进行切换进程之前，采用软件方式对处理器性能计数器的内容予以保留与转储，在处理器完成对性能计数器寄存器复位完成之后，再恢复上述计数器的内容；运行支持处理器性能事件计数器保留恢复处理的操作系统；实现处理器单个性能事件的性能计数监测；实现处理器批量性能事件的性能计数监测。
-
Patent Agency Ranking
公开(公告)号：CN102455971B
公开(公告)日：2014-09-03
申请号：CN201010527357.7
申请日：2010-10-28
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 本发明实施例公开了不易存在测试盲区或薄弱环节的应用级随机指令测试方法、系统及装置。上述方法包括：从指定的指令集中随机选择多条指令模板；利用多条指令模板进行预定次数的测试，并得到测试结果；其中，每一次测试包括：使用指定内存空间及寄存器已被初始化的硬件平台和模拟平台分别执行根据多条指令模板而随机生成的指令组合，并得到各自的执行结果；测试结果包括比较结果，比较结果由比较硬件平台的执行结果与模拟平台的执行结果是否相同而得出。可以看出，指令模板的选取以及指令组合的生成都是随机的，尤在预设次数足够大时，更容易测到常规程序/测试用例难以测到的盲区或薄弱环节，不易存在测试盲区或薄弱环节。
-
公开(公告)号：CN101452395B
公开(公告)日：2013-04-24
申请号：CN200710094328.4
申请日：2007-11-28
Applicant: 无锡江南计算技术研究所
IPC: G06F9/45
Abstract: 本发明公开了一种函数调用和返回的处理方法、二进制翻译方法和系统，所述函数调用和返回的处理方法包括：将源程序的函数调用的返回地址作为假指令保存在目标程序的函数调用指令之后；在目标程序的函数调用开始，将所述假指令的地址保存到栈中；在目标程序的函数调用结束，将栈顶保存的地址取出，在所述从栈顶取出的地址的值是否等于所述源程序的函数调用的返回地址时，跳转到所述假指令后。本发明可以在函数调用后快速返回，并且可以避免因哈希冲突造成效率低的问题，因此能够减少返回型间接分支的开销，提高二进制翻译的性能。
-
公开(公告)号：CN101452395A
公开(公告)日：2009-06-10
申请号：CN200710094328.4
申请日：2007-11-28
Applicant: 无锡江南计算技术研究所
IPC: G06F9/45
Abstract: 本发明公开了一种函数调用和返回的处理方法、二进制翻译方法和系统，所述函数调用和返回的处理方法包括：将源程序的函数调用的返回地址作为假指令保存在目标程序的函数调用指令之后；在目标程序的函数调用开始，将所述假指令的地址保存到栈中；在目标程序的函数调用结束，将栈顶保存的地址取出，在所述从栈顶取出的地址的值是否等于所述源程序的函数调用的返回地址时，跳转到所述假指令后。本发明可以在函数调用后快速返回，并且可以避免因哈希冲突造成效率低的问题，因此能够减少返回型间接分支的开销，提高二进制翻译的性能。
-
公开(公告)号：CN114218064B
公开(公告)日：2025-05-06
申请号：CN202110426746.9
申请日：2021-04-20
Applicant: 无锡江南计算技术研究所
IPC: G06F11/3668 , G06N3/126
Abstract: 本发明公开一种基于遗传算法的极端测试用例生成方法，包括以下步骤：S1、种群生成器生成初始种群；S2、适应值计算器对S1中获得的初始种群中每个个体进行适应值计算；S3、适应值收集模块收集所有个体的适应值，并反馈给遗传算法核心；S4、遗传算法核心判断是否获得近优解，得到近优解并跳转到S5，若还未获得近优解，遗传算法核心根据上一代的适应值结果，交叉和变异产生多组指令序列，并由种群生成器嵌入汇编代码，生成下一代种群，跳转到S2；S5、得到近优解汇编代码。本发明不需要人工排指令来编写极端测试用例，可以自动生成特定的极端测试用例。
-
公开(公告)号：CN112445661B
公开(公告)日：2022-09-13
申请号：CN201910805747.7
申请日：2019-08-29
Applicant: 无锡江南计算技术研究所
IPC: G06F11/22
Abstract: 本发明公开一种并行访存汇编程序自动生成系统和存储一致性测试方法，包括以下步骤：S1、并行程序生成器读取控制核心和运算核心的汇编程序框架，并且根据核心的数目生成包含相应数目汇编函数的基础汇编程序；S2、并行访存指令序列生成器生成访存指令序列偏移链表，将访存偏移平均分给各个核心，并根据各个核心分到的访存偏移，生成访存指令段；S3、各个核心的访存指令序列分别嵌入各自的汇编函数中；S4、主函数通过读取数据集合来实现源空间的初始化；S5、访存结束，再次进行同步，然后比较目的空间的哈希值与源空间的哈希值是否相等。本发明可以自动生成并行访存的汇编程序，大大增加访存的密集度，减少运算的时间，提高测试效率。
-
-
-
-
-
-
-
-
-
Search Results
39
records
(took 0.032 seconds)
