基于数据路径约束求解的随机指令测试程序生成方法
公开
摘要
本发明公开一种基于数据路径约束求解的随机指令测试程序生成方法，包括以下步骤：S1、循环读取基于约束求解的随机指令序列文件，每次读取一行，若为空则跳转至S7；S2、根据S1中读取的内容，解析指令格式，获取指令名称以及指令格式中每一个操作数的类型；S3、随机读取与S2中解析的指令对应的数据路径约束求解结果文件，获取一组基于数据路径约束的验证元组数据；S4、将S3中获取的验证元组数据按照对界要求预先存储到局存空间中；S5、根据S1中自随机指令序列文件读取的当前随机指令；S6、跳转至S1继续读取指令序列进行解析；S7、生成结果校验代码。本发明可以提升随机指令测试的有效性。
基本信息
专利标题 ：
基于数据路径约束求解的随机指令测试程序生成方法
专利标题（英）：
暂无
公开（公告）号 ：
CN114564396A
申请号 ：
CN202210185468.7
公开（公告）日 ：
2022-05-31
申请日 ：
2022-02-28
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
谭坚刘鑫陈德训王丽一陈磊吴臻曹陈炜
申请人 ：
无锡江南计算技术研究所
申请人地址 ：
江苏省无锡市滨湖区山水东路699号
代理机构 ：
苏州创元专利商标事务所有限公司
代理人 ：
王健
优先权 ：
CN202210185468.7
主分类号 ：
G06F11/36
IPC分类号 ：
G06F11/36
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F11/00
错误检测；错误校正；监控
G06F11/36
通过软件的测试或调试防止错误
法律状态
2022-05-31 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
