-
公开(公告)号：CN112732549B
公开(公告)日：2023-10-17
申请号：CN201910975074.X
申请日：2019-10-14
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36 , G06F18/23213 , G06F18/24
Abstract: 本发明公开了一种基于聚类分析的测试程序分类方法，包括以下步骤：在多个处理器上批量运行测试程序，在一次运行过程中获取所有维度的计数；根据性能计数信息，对高维度性能计数数据进行降维处理，将计数数据转换为机器学习算法能够处理的向量数据；将降维处理之后的有效性能计数数据作为课题特征的特征数据作为机器学习算法的输入，利用K_means算法对其进行计算并分类；将K_means算法得到的误差作为神经网络中的交叉熵的损失函数，通过卷积神经网络模型对整个分类结果评估优化，输出优化后的结果。本发明实现了对测试程序进行客观分类的目的，对测试向量的精简与测试覆盖的质量具有客观指导意义。且该方法不需要依赖特定的硬件，运行条件简单，实用性高。
-
公开(公告)号：CN114218063A
公开(公告)日：2022-03-22
申请号：CN202110426731.2
申请日：2021-04-20
Applicant: 无锡江南计算技术研究所
Abstract: 本发明公开一种异构众核处理器的轻量级并行测试用例生成方法，包括以下步骤：构建配置文件；利用配置分析器模块分析构建的配置文件，将配置文件中的配置信息转换成代码生成器模块可以识别的格式（该格式为字典），并加上配置文件名和测试用例名；代码生成器模块生成异构并行测试用例工程；将多组配置信息输入代码生成器模块，得到多组异构并行测试用例工程，进行混合编译得到并行测试用例程序。本发明生成的异构并行测试用例在国产异构众核处理器的硅前验证中具有速度快、效率高的优点。
-
公开(公告)号：CN112559299A
公开(公告)日：2021-03-26
申请号：CN201910919650.9
申请日：2019-09-26
Applicant: 无锡江南计算技术研究所
Abstract: 本发明公开了一种用于处理器测试过程的监督方法，基于多视图显示基础库，所述多视图显示基础库的编码方式为组件式编码，进一步包括内视图组件和大视图组件；所述内视图组件用于预处理shell终端颜色符、非Unicode中文、换行符等文本信息，根据当前终端可以显示的文本行数和列数，配置文本在窗口中显示的位置，配置文本在窗口中显示的位置，所述大视图组件用于进一步处理和刷新文本信息，将文本以多视图的方式输出在屏幕上，根据设定的刷新时间，刷新显示的文本信息。本发明能及时发现并应对测试过程中可能出现的多种情况，需要对资源和课题运行结果进行实时监控。
-
公开(公告)号：CN114564397B
公开(公告)日：2025-05-09
申请号：CN202210185716.8
申请日：2022-02-28
Applicant: 无锡江南计算技术研究所
IPC: G06F11/3668
Abstract: 本发明公开一种基于控制约束的访存测试程序生成方法，包括以下步骤：步骤1、生成控制核心运行的程序，在其中声明可操作的地址空间大小以及首地址，并生成计算核心的代码段；步骤2、生成计算核心访存测试程序，将计算核心的访存首地址设置成控制程序申请的可操作首地址；步骤3、在计算核心访存地址遍历生成时，进行地址访存序列的控制生成；步骤4、根据步骤3中获得的参数，形成对应的测试程序。本发明面向国产向众核异构处理器实现满足约束条件的随机访存测试，另外能够根据访存策略进行定制，对处理器的存储一致性实现有针对性的验证测试，实现了合法且随机的访存测试程序生成。
-
公开(公告)号：CN114218064B
公开(公告)日：2025-05-06
申请号：CN202110426746.9
申请日：2021-04-20
Applicant: 无锡江南计算技术研究所
IPC: G06F11/3668 , G06N3/126
Abstract: 本发明公开一种基于遗传算法的极端测试用例生成方法，包括以下步骤：S1、种群生成器生成初始种群；S2、适应值计算器对S1中获得的初始种群中每个个体进行适应值计算；S3、适应值收集模块收集所有个体的适应值，并反馈给遗传算法核心；S4、遗传算法核心判断是否获得近优解，得到近优解并跳转到S5，若还未获得近优解，遗传算法核心根据上一代的适应值结果，交叉和变异产生多组指令序列，并由种群生成器嵌入汇编代码，生成下一代种群，跳转到S2；S5、得到近优解汇编代码。本发明不需要人工排指令来编写极端测试用例，可以自动生成特定的极端测试用例。
-
Patent Agency Ranking
公开(公告)号：CN112445661B
公开(公告)日：2022-09-13
申请号：CN201910805747.7
申请日：2019-08-29
Applicant: 无锡江南计算技术研究所
IPC: G06F11/22
Abstract: 本发明公开一种并行访存汇编程序自动生成系统和存储一致性测试方法，包括以下步骤：S1、并行程序生成器读取控制核心和运算核心的汇编程序框架，并且根据核心的数目生成包含相应数目汇编函数的基础汇编程序；S2、并行访存指令序列生成器生成访存指令序列偏移链表，将访存偏移平均分给各个核心，并根据各个核心分到的访存偏移，生成访存指令段；S3、各个核心的访存指令序列分别嵌入各自的汇编函数中；S4、主函数通过读取数据集合来实现源空间的初始化；S5、访存结束，再次进行同步，然后比较目的空间的哈希值与源空间的哈希值是否相等。本发明可以自动生成并行访存的汇编程序，大大增加访存的密集度，减少运算的时间，提高测试效率。
-
公开(公告)号：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一致性验证困难的问题。
-
公开(公告)号：CN115687154A
公开(公告)日：2023-02-03
申请号：CN202211487167.6
申请日：2022-11-25
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 本发明提供一种基于Csmith随机生成器生成C程序测试用例的方法及装置，属于C程序测试技术领域。该方法包括如下步骤：S1：获取预设概率信息表，通过预设概率信息表获取预设参数；S2：生成器根据预设参数进行初始化；S3：生成器基于初始化信息生成包括main函数、变量类型、其他函数的测试用例程序，在生成main函数时输出测试用例程序的辅助信息；S4：过滤器对生成的程序片段进行安全检查；S5：生成器在过滤器对所有程序片段检查完毕后整理并输出生成的测试用例程序，并根据生成的测试用例程序计算非指针全局变量的校验和，并打印校验和。本发明自动生成大量测试用例，可以高效地暴露更多的问题，并且可根据输入进行定制化操作，节省人力成本。
-
公开(公告)号：CN112559299B
公开(公告)日：2022-07-12
申请号：CN201910919650.9
申请日：2019-09-26
Applicant: 无锡江南计算技术研究所
Abstract: 本发明公开了一种用于处理器测试过程的监督方法，基于多视图显示基础库，所述多视图显示基础库的编码方式为组件式编码，进一步包括内视图组件和大视图组件；所述内视图组件用于预处理shell终端颜色符、非Unicode中文、换行符等文本信息，根据当前终端可以显示的文本行数和列数，配置文本在窗口中显示的位置，配置文本在窗口中显示的位置，所述大视图组件用于进一步处理和刷新文本信息，将文本以多视图的方式输出在屏幕上，根据设定的刷新时间，刷新显示的文本信息。本发明能及时发现并应对测试过程中可能出现的多种情况，需要对资源和课题运行结果进行实时监控。
-
公开(公告)号：CN114564397A
公开(公告)日：2022-05-31
申请号：CN202210185716.8
申请日：2022-02-28
Applicant: 无锡江南计算技术研究所
IPC: G06F11/36
Abstract: 本发明公开一种基于控制约束的访存测试程序生成方法，包括以下步骤：步骤1、生成控制核心运行的程序，在其中声明可操作的地址空间大小以及首地址，并生成计算核心的代码段；步骤2、生成计算核心访存测试程序，将计算核心的访存首地址设置成控制程序申请的可操作首地址；步骤3、在计算核心访存地址遍历生成时，进行地址访存序列的控制生成；步骤4、根据步骤3中获得的参数，形成对应的测试程序。本发明面向国产向众核异构处理器实现满足约束条件的随机访存测试，另外能够根据访存策略进行定制，对处理器的存储一致性实现有针对性的验证测试，实现了合法且随机的访存测试程序生成。
-
-
-
-
-
-
-
-
-
Search Results
16
records
(took 0.036 seconds)
