公开(公告)号：CN112433762A

公开(公告)日：2021-03-02

申请号：CN201910789113.7

申请日：2019-08-26

Applicant: 无锡江南计算技术研究所

Inventor： 谭坚 ,  王丽一 ,  胡夏晖 ,  陈磊 ,  蒋丽萍 ,  曹陈炜

IPC: G06F9/38

Abstract: 本发明公开一种基于数据相关性约束的随机指令序列生成方法，包括以下步骤：S1、对指令集合进行信息提取；S2、生成的指令数目达到要求则终止，否则继续随机选择一条指令；S3、如果该指令没有操作数，跳转至S2，否则继续；S4、计算指令上下文中与当前指令生成可能存在关系的最大指令数目；S5、解析当前指令；S6、构建上下文指令间的约束关系；S7、对形成的CNF范式进行合取，并利用求解器进行求解；S8、如果没有求解结果，则跳转至S2；S9、如果求解结果满足，则对求解结果进行解析；S10、将当前生成的指令保存在缓存队列中；S11、跳转至S2继续。本发明构建了满足约束条件的随机指令生成模型，自动生成随机指令序列，达到高功耗测试以及极限情况下指令执行部件正确性测试的目的。

公开(公告)号：CN112559299A

公开(公告)日：2021-03-26

申请号：CN201910919650.9

申请日：2019-09-26

Applicant: 无锡江南计算技术研究所

Inventor： 王丽一 ,  胡夏晖 ,  陈磊 ,  吴臻 ,  相陈伟 ,  曹陈炜 ,  蒋丽萍

IPC: G06F11/32 ,  G06F11/22

Abstract: 本发明公开了一种用于处理器测试过程的监督方法，基于多视图显示基础库，所述多视图显示基础库的编码方式为组件式编码，进一步包括内视图组件和大视图组件；所述内视图组件用于预处理shell终端颜色符、非Unicode中文、换行符等文本信息，根据当前终端可以显示的文本行数和列数，配置文本在窗口中显示的位置，配置文本在窗口中显示的位置，所述大视图组件用于进一步处理和刷新文本信息，将文本以多视图的方式输出在屏幕上，根据设定的刷新时间，刷新显示的文本信息。本发明能及时发现并应对测试过程中可能出现的多种情况，需要对资源和课题运行结果进行实时监控。

公开(公告)号：CN112559299B

公开(公告)日：2022-07-12

申请号：CN201910919650.9

申请日：2019-09-26

Applicant: 无锡江南计算技术研究所

Inventor： 王丽一 ,  胡夏晖 ,  陈磊 ,  吴臻 ,  相陈伟 ,  曹陈炜 ,  蒋丽萍

IPC: G06F11/32 ,  G06F11/22

Abstract: 本发明公开了一种用于处理器测试过程的监督方法，基于多视图显示基础库，所述多视图显示基础库的编码方式为组件式编码，进一步包括内视图组件和大视图组件；所述内视图组件用于预处理shell终端颜色符、非Unicode中文、换行符等文本信息，根据当前终端可以显示的文本行数和列数，配置文本在窗口中显示的位置，配置文本在窗口中显示的位置，所述大视图组件用于进一步处理和刷新文本信息，将文本以多视图的方式输出在屏幕上，根据设定的刷新时间，刷新显示的文本信息。本发明能及时发现并应对测试过程中可能出现的多种情况，需要对资源和课题运行结果进行实时监控。

公开(公告)号：CN114564396A

公开(公告)日：2022-05-31

申请号：CN202210185468.7

申请日：2022-02-28

Applicant: 无锡江南计算技术研究所

Inventor： 谭坚 ,  刘鑫 ,  陈德训 ,  王丽一 ,  陈磊 ,  吴臻 ,  曹陈炜

IPC: G06F11/36

Abstract: 本发明公开一种基于数据路径约束求解的随机指令测试程序生成方法，包括以下步骤：S1、循环读取基于约束求解的随机指令序列文件，每次读取一行，若为空则跳转至S7；S2、根据S1中读取的内容，解析指令格式，获取指令名称以及指令格式中每一个操作数的类型；S3、随机读取与S2中解析的指令对应的数据路径约束求解结果文件，获取一组基于数据路径约束的验证元组数据；S4、将S3中获取的验证元组数据按照对界要求预先存储到局存空间中；S5、根据S1中自随机指令序列文件读取的当前随机指令；S6、跳转至S1继续读取指令序列进行解析；S7、生成结果校验代码。本发明可以提升随机指令测试的有效性。