“王丽一”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果23个，建议您升级VIP下载更多相关专利

[发明专利]基于聚类分析的测试程序分类方法-CN201910975074.X有效
发明人：谭坚;王丽一;马腾;胡夏晖;相陈伟;陈佳;蒋丽萍;韩肖 -专利权人：无锡江南计算技术研究所
申请日： 2019-10-14 - 公布日： 2023-10-17 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于聚类分析的测试程序分类方法，包括以下步骤：在多个处理器上批量运行测试程序，在一次运行过程中获取所有维度的计数；根据性能计数信息，对高维度性能计数数据进行降维处理，将计数数据转换为机器学习算法能够处理的向量数据；将降维处理之后的有效性能计数数据作为课题特征的特征数据作为机器学习算法的输入，利用K_means算法对其进行计算并分类；将K_means算法得到的误差作为神经网络中的交叉熵的损失函数，通过卷积神经网络模型对整个分类结果评估优化，输出优化后的结果。本发明实现了对测试程序进行客观分类的目的，对测试向量的精简与测试覆盖的质量具有客观指导意义。且该方法不需要依赖特定的硬件，运行条件简单，实用性高。
基于聚类分析测试程序分类方法

[发明专利]一种基于Csmith随机生成器生成C程序测试用例的方法及装置-CN202211487167.6在审
发明人： 王丽一;武颖颖;胡夏晖;尉红梅;姜军;吴伟 -专利权人：无锡江南计算技术研究所
申请日： 2022-11-25 - 公布日： 2023-02-03 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种基于Csmith随机生成器生成C程序测试用例的方法及装置，属于C程序测试技术领域。该方法包括如下步骤：S1：获取预设概率信息表，通过预设概率信息表获取预设参数；S2：生成器根据预设参数进行初始化；S3：生成器基于初始化信息生成包括main函数、变量类型、其他函数的测试用例程序，在生成main函数时输出测试用例程序的辅助信息；S4：过滤器对生成的程序片段进行安全检查；S5：生成器在过滤器对所有程序片段检查完毕后整理并输出生成的测试用例程序，并根据生成的测试用例程序计算非指针全局变量的校验和，并打印校验和。本发明自动生成大量测试用例，可以高效地暴露更多的问题，并且可根据输入进行定制化操作，节省人力成本。
一种基于 csmith 随机生成器生成程序测试方法装置

[发明专利]基于大规模芯片测试结果的快速检索方法-CN201910879802.7有效
发明人：谭坚;蒋昊辰;王丽一;吴臻;陈磊;肖旵敏 -专利权人：无锡江南计算技术研究所
申请日： 2019-09-18 - 公布日： 2022-11-15 - 主分类号： G06F16/18 文献下载
摘要：本发明公开了一种基于大规模芯片测试结果的快速检索方法，包括以下步骤：对目录进行检查，将目录中的日志文件按照文件名进行升序排序，检查是否存在校验文件.checksum，如果是，执行下一步，否则对目录下的所有文件进行顺序入库，并将数据列表写入.checksum文件；将之前从该目录中获取的数据列表写入.checksum_new文件；读入该目录中的校验文件.checksum；对该目录中的校验文件.checksum和.checksum_new进行MD5值比对，判断这两个文件MD5值是否相同，如果是，结束操作；该方法通过对目录中的文件分层级并检索，达到快速定位更新目录或者更新文件的目的，提升检测效率。
基于大规模芯片测试结果快速检索方法

[发明专利]并行访存汇编程序自动生成系统和存储一致性测试方法-CN201910805747.7有效
发明人： 王丽一;谭坚;陈磊;胡夏晖;吴臻;蒋丽萍 -专利权人：无锡江南计算技术研究所
申请日： 2019-08-29 - 公布日： 2022-09-13 - 主分类号： G06F11/22 文献下载
摘要：本发明公开一种并行访存汇编程序自动生成系统和存储一致性测试方法，包括以下步骤：S1、并行程序生成器读取控制核心和运算核心的汇编程序框架，并且根据核心的数目生成包含相应数目汇编函数的基础汇编程序；S2、并行访存指令序列生成器生成访存指令序列偏移链表，将访存偏移平均分给各个核心，并根据各个核心分到的访存偏移，生成访存指令段；S3、各个核心的访存指令序列分别嵌入各自的汇编函数中；S4、主函数通过读取数据集合来实现源空间的初始化；S5、访存结束，再次进行同步，然后比较目的空间的哈希值与源空间的哈希值是否相等。本发明可以自动生成并行访存的汇编程序，大大增加访存的密集度，减少运算的时间，提高测试效率。
并行汇编程序自动生成系统存储一致性测试方法

[发明专利]基于流水线约束的结果自校验指令序列填充方法-CN201910805780.X有效
发明人：谭坚;王丽一;马腾;陈佳;吴臻;相陈伟 -专利权人：无锡江南计算技术研究所
申请日： 2019-08-29 - 公布日： 2022-09-13 - 主分类号： G06F9/38 文献下载
摘要：本发明公开一种基于流水线约束的结果自校验指令序列填充方法，包括以下步骤：S1、对指令集合进行信息提取；S2、循环读取下一条指令；S3、对指令进行格式解析，S4、解析当前读取的指令，选择不在当前指令将要执行的流水线上且执行延迟为1拍的N‑1条指令；S5、随机选择满足条件的指令编号，创建CNF范式；S6、约束求解；S7、如果求解结果不满足，继续S5重新选择下一指令进行约束求解，否则继续下一步；S8、对求解结果进行解析，形成完整指令，并填充到当前指令序列末尾；S9、N‑1条指令已经全部生成则跳转至S3，否则跳转至S5继续。本发明既满足压力测试又能够对结果进行正确性校验，保证在设计阶段既能够对功耗进行测试也能够对正确性进行测试，避免测试盲区，还具有很好的适用性。
基于流水线约束结果校验指令序列填充方法

[发明专利]自检随机测试方法及随机循环测试装置-CN201910771716.4有效
发明人： 王丽一;李岱峰;谭坚;陈磊;吴臻;蒋昊辰 -专利权人：无锡江南计算技术研究所
申请日： 2019-08-21 - 公布日： 2022-07-12 - 主分类号： G06F11/22 文献下载
摘要：本发明公开一种自检随机测试方法及随机循环测试装置，S1、控制单元调用随机指令生成器，并将随机指令生成器生成的运算控制核心的随机指令段和运算核心的随机指令段分别嵌入运算控制核心的程序框架和运算核心的程序框架中，形成汇编程序；S2、控制单元根据程序结构调用编译脚本，将生成的汇编程序编译成可执行的随机测试程序；S3、编译完成后，控制单元调用测试管理系统运行S2中生成的可执行的随机测试程序，并监控测试结果；S4、测试完返回控制单元，等待产生新的随机测试程序，进行下一次测试。本发明通过生成不需要依赖模拟器的随机测试程序，更高效地暴露更多的处理器软硬件设计及环境问题，弥补硅前验证效率低、覆盖不全面的问题。
自检随机测试方法循环装置

[发明专利]用于处理器测试过程的监督方法-CN201910919650.9有效
发明人： 王丽一;胡夏晖;陈磊;吴臻;相陈伟;曹陈炜;蒋丽萍 -专利权人：无锡江南计算技术研究所
申请日： 2019-09-26 - 公布日： 2022-07-12 - 主分类号： G06F11/32 文献下载
摘要：本发明公开了一种用于处理器测试过程的监督方法，基于多视图显示基础库，所述多视图显示基础库的编码方式为组件式编码，进一步包括内视图组件和大视图组件；所述内视图组件用于预处理shell终端颜色符、非Unicode中文、换行符等文本信息，根据当前终端可以显示的文本行数和列数，配置文本在窗口中显示的位置，配置文本在窗口中显示的位置，所述大视图组件用于进一步处理和刷新文本信息，将文本以多视图的方式输出在屏幕上，根据设定的刷新时间，刷新显示的文本信息。本发明能及时发现并应对测试过程中可能出现的多种情况，需要对资源和课题运行结果进行实时监控。
用于处理器测试过程监督方法

[发明专利]基于数据路径约束求解的随机指令测试程序生成方法-CN202210185468.7在审
发明人：谭坚;刘鑫;陈德训;王丽一;陈磊;吴臻;曹陈炜 -专利权人：无锡江南计算技术研究所
申请日： 2022-02-28 - 公布日： 2022-05-31 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种基于数据路径约束求解的随机指令测试程序生成方法，包括以下步骤：S1、循环读取基于约束求解的随机指令序列文件，每次读取一行，若为空则跳转至S7；S2、根据S1中读取的内容，解析指令格式，获取指令名称以及指令格式中每一个操作数的类型；S3、随机读取与S2中解析的指令对应的数据路径约束求解结果文件，获取一组基于数据路径约束的验证元组数据；S4、将S3中获取的验证元组数据按照对界要求预先存储到局存空间中；S5、根据S1中自随机指令序列文件读取的当前随机指令；S6、跳转至S1继续读取指令序列进行解析；S7、生成结果校验代码。本发明可以提升随机指令测试的有效性。
基于数据路径约束求解随机指令测试程序生成方法

[发明专利]测试程序批量变种方法-CN202110425772.X在审
发明人：胡夏晖;陈德训;刘鑫;王丽一;谭坚;陈明津 -专利权人：无锡江南计算技术研究所
申请日： 2021-04-20 - 公布日： 2022-03-22 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种测试程序批量变种方法，包括以下步骤：S1、对测试程序源码进行分析，确定核心代码段区间；S2、得到核心段代码调用的函数代码；S3、对于改变程序执行路径的测试程序，将其核心代码段进行复制并使用if/else结构对两段相同的核心代码段进行区分，将S2得到的核心段代码调用的函数代码复制，将其中一份函数代码的函数名加上后缀，同时将if/else结构中if条件内的代码段调用的函数加上后缀；S4、得到变种程序源码；S5、将变种程序源码编译成汇编代码；S6、得到变种汇编代码；S7、将变种汇编代码编译成可执行文件。本发明解决了高速缓存一致性测试程序集合中的程序不够丰富，覆盖面不够全面的问题。
测试程序批量变种方法

[发明专利]异构众核处理器的轻量级并行测试用例生成方法-CN202110426731.2在审
发明人：陈德训;刘鑫;王丽一;谭坚;胡夏晖;陈明津 -专利权人：无锡江南计算技术研究所
申请日： 2021-04-20 - 公布日： 2022-03-22 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种异构众核处理器的轻量级并行测试用例生成方法，包括以下步骤：构建配置文件；利用配置分析器模块分析构建的配置文件，将配置文件中的配置信息转换成代码生成器模块可以识别的格式（该格式为字典），并加上配置文件名和测试用例名；代码生成器模块生成异构并行测试用例工程；将多组配置信息输入代码生成器模块，得到多组异构并行测试用例工程，进行混合编译得到并行测试用例程序。本发明生成的异构并行测试用例在国产异构众核处理器的硅前验证中具有速度快、效率高的优点。
异构众核处理器轻量级并行测试生成方法

[发明专利]一种基于遗传算法的极端测试用例生成方法-CN202110426746.9在审
发明人： 王丽一;陈德训;刘鑫;胡夏晖;谭坚;陈明津 -专利权人：无锡江南计算技术研究所
申请日： 2021-04-20 - 公布日： 2022-03-22 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种基于遗传算法的极端测试用例生成方法，包括以下步骤：S1、种群生成器生成初始种群；S2、适应值计算器对S1中获得的初始种群中每个个体进行适应值计算；S3、适应值收集模块收集所有个体的适应值，并反馈给遗传算法核心；S4、遗传算法核心判断是否获得近优解，得到近优解并跳转到S5，若还未获得近优解，遗传算法核心根据上一代的适应值结果，交叉和变异产生多组指令序列，并由种群生成器嵌入汇编代码，生成下一代种群，跳转到S2；S5、得到近优解汇编代码。本发明不需要人工排指令来编写极端测试用例，可以自动生成特定的极端测试用例。
一种基于遗传算法极端测试生成方法

[发明专利]指令流一致性测试方法-CN202110453215.9在审
发明人：刘鑫;王丽一;陈德训;谭坚;胡夏晖;陈明津 -专利权人：无锡江南计算技术研究所
申请日： 2021-04-26 - 公布日： 2022-03-22 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种指令流一致性测试方法，S1、初始化各项参数；S2、读入命令行参数；S3、设置共享空间的大小，申请共享的可执行空间；S4、Fork进程，并将进程绑定在不同核心上；S5、进入指令Cache测试入口模块，初始化由随机数组成的数组，并添加前缀指令；S6、进入自动测试模块；S7、进入执行指令模块；S8、执行指令模块运行结束，并进入结束测试模块；S9、在结束测试模块中，判断是否超过设定的执行遍数，如果超过，则进行结果校验，如果没超过，则再次进入自动测试模块；S10、结束测试后，汇报测试结果并回收进程，然后退出并结束。本发明解决了指令Cache一致性验证困难的问题。
指令一致性测试方法

[发明专利]基于信息摘要值实现的程序结果校验方法-CN201910788893.3在审
发明人：李岱峰;谭坚;王丽一;吴臻;相陈伟;陈磊 -专利权人：无锡江南计算技术研究所
申请日： 2019-08-26 - 公布日： 2021-03-02 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种基于信息摘要值实现的程序结果校验方法，包括以下步骤：S1、在程序头部设置初始的校验值；S2、用户根据需要检验的地址空间或者文件，在程序的任意位置设置校验对象，并对校验的对象地址空间或者文件进行约束；S3、在程序中设置多个校验点，当程序执行到每个校验点时，系统根据前一个校验点与本校验点之间的校验对象的数值生成一个基本单位校验值；S4、系统在每一个校验点将当前生成的校验值与对应位置的初始的校验值进行比较，比较一致则输出校验成功标志，否则输出校验失败标志；S5、反复执行S4，完成所有校验点的结果校验。本发明为不便于结果校验或者结果校验方式复杂的实际应用课题在处理器测试验证中的应用提供了可能性，提升测试覆盖面。
基于信息摘要实现程序结果校验方法

[发明专利]基于中间结果约束的浮点验证数据生成方法-CN201910788898.6在审
发明人：谭坚;李岱峰;王丽一;陈磊;蒋丽萍;蒋昊辰 -专利权人：无锡江南计算技术研究所
申请日： 2019-08-26 - 公布日： 2021-03-02 - 主分类号： G06F11/263 文献下载
摘要：本发明公开一种基于中间结果约束的浮点验证数据生成方法，包括以下步骤：S1、根据浮点操作中间结果的约束条件，构建更高精度的浮点数据；S2、获得高精度的浮点运算结果；S3、建立高低精度浮点结果的约束关系；S4、根据用户设定的浮点中间结果约束，对高精度浮点结果施加约束，获得约束集合子句；S5、根据S4中获得的约束集合子句构建合成CNF范式；S6、将S5中得到的CNF范式作为输入，采用第三方求解器进行求解，约束满足则输出求解结果，否则输出不满足；S7、根据S6中的求解结果进行解析，形成一组浮点验证元组数据。本发明解决了中间结果约束建模复杂性并由此可能带来的测试覆盖不全的问题，提高了浮点测试的效率和覆盖率。
基于中间结果约束浮点验证数据生成方法

[发明专利]基于指数约束的浮点验证数据生成方法-CN201910789088.2在审
发明人：谭坚;李岱峰;王丽一;吴臻;陈佳;相陈伟 -专利权人：无锡江南计算技术研究所
申请日： 2019-08-26 - 公布日： 2021-03-02 - 主分类号： G06F11/36 文献下载
摘要：本发明公开一种基于指数约束的浮点验证数据生成方法，包括以下步骤：S1、将浮点数据分解成符号位sign、指数部分exponent、尾数部分significand；S2、分别构建符号位、指数部分、尾数部分对应的位向量节点；S3、将S2中的三个位向量节点拼接成64位长度的位向量节点；S4、建立S3中获得的64位向量与双精度浮点数据在数据存储上的等价关系约束；S5、构建浮点运算的另一个浮点操作数；S6、构建指数之间的约束关系，S7、构建合成CNF范式；S8、以S7中得到的CNF范式作为输入，采用第三方求解器进行求解，S9、对S8中的求解结果进行解析，形成一组浮点验证元组数据。本发明解决了浮点运算由于各个操作数之间约束建模的复杂性导致验证人员无法对浮点运算的指数进行约束的问题，提高了浮点测试的覆盖率和测试效率。
基于指数约束浮点验证数据生成方法

1
2
下一页»
尾页
共 23 条