发明名称 一种随机测试程序生成方法
摘要 本发明公开了一种随机测试程序生成方法,包括如下步骤:步骤1:随机选择一种指令;步骤2:运行指令冲突检测流程选择出步骤1所选指令的指令参数;步骤3:判断步骤1所选指令是否为目标跳转指令,若是则生成目标跳转指令的相关指令参数,然后执行步骤4,否则直接执行步骤4;步骤4:基于指令集执行参考模型判断是否接受本循环所有指令参数,若全部接受则执行步骤5,否则返回步骤1;步骤5:基于本循环所有指令参数产生至少一条测试指令;步骤6:判断是否达到预设指令条数,是则结束循环,否则返回步骤1。解决了现有技术中随机测试程序的有效性将难以保证而且对于结果检测也相对困难的技术问题。
申请公布号 CN105630680A 申请公布日期 2016.06.01
申请号 CN201511001282.8 申请日期 2015.12.28
申请人 中国科学院微电子研究所 发明人 罗汉青;梁利平;王志君
分类号 G06F11/36(2006.01)I 主分类号 G06F11/36(2006.01)I
代理机构 北京华沛德权律师事务所 11302 代理人 房德权
主权项 一种随机测试程序生成方法,其特征在于,包括如下步骤:步骤1:随机选择一种指令;步骤2:运行指令冲突检测流程选择出步骤1所选指令的指令参数;步骤3:判断步骤1所选指令是否为目标跳转指令,若是则生成所述目标跳转指令的相关指令参数,然后执行步骤4,否则直接执行步骤4;步骤4:基于指令集执行参考模型判断是否接受本循环所有指令参数,若全部接受则执行步骤5,否则返回步骤1;步骤5:基于所述本循环所有指令参数产生至少一条测试指令;步骤6:判断是否达到预设指令条数,是则结束循环,否则返回步骤1。
地址 100029 北京市朝阳区北土城西路3号