【技术实现步骤摘要】
处理器指令集测试方法及装置
本专利技术涉及处理器
，尤其涉及一种处理器指令集测试方法及装置。
技术介绍
现有的处理器指令集测试方法主要有随机测试和形式化验证两种。形式化验证的方法通过数学手段建立状态机模型，自动生成测试用例，优点是覆盖率高，但是由于存在状态空间爆炸的问题，只能用于规模较小的部件。现在主流的指令集测试方法是随机测试，随机测试的方法通过随机指令生成器生成一系列指令序列，再将这些指令序列分别在物理模型和参考模型上执行，之后将两个模型的指令执行结果进行对比，从而发现设计上的缺陷。然而，随机测试的方法仍存在一定的局限性。首先，随机测试的方法无法保证覆盖率，其测试范围只聚焦于指令集手册中已定义的那部分指令，而对于未定义指令则缺乏测试。其次，随机测试的方法只适用于芯片制造前的模型验证，很难在真实的物理机上进行，这是因为随机测试的方法需要实际执行指令，而有些指令(比如跳转指令)在真机上的执行可能导致难以预料的行为，最终导致测试程序甚至整个计算机系统的崩溃。最后，随机测试的方法需要人工比对指令执行结果，不仅繁琐复
【技术保护点】
1.一种处理器指令集测试方法，其特征在于，包括：/n对于预处理文件中任一指令，获取所述任一指令的指令编码及第一指令名称，将所述任一指令的指令编码输入至反编译器中，输出未经处理的第二指令名称；/n根据所述第一指令名称及所述第二指令名称，判断所述任一指令是否存在缺陷。/n
【技术特征摘要】
1.一种处理器指令集测试方法，其特征在于，包括：
对于预处理文件中任一指令，获取所述任一指令的指令编码及第一指令名称，将所述任一指令的指令编码输入至反编译器中，输出未经处理的第二指令名称；
根据所述第一指令名称及所述第二指令名称，判断所述任一指令是否存在缺陷。
2.根据权利要求1所述的处理器指令集测试方法，其特征在于，还包括：
对处理器指令集手册中的已定义指令及未定义指令进行预处理，每条指令预处理后包含指令编码和第一指令名称两部分，将预处理后的结果存储在文件中，并作为所述预处理文件。
3.根据权利要求1所述的处理器指令集测试方法，其特征在于，所述根据所述第一指令名称及所述第二指令名称，判断所述任一指令是否存在缺陷，包括：
根据所述任一指令及所述第二指令名称，获取所述任一指令的第三指令名称，并根据所述第三指令名称与所述第一指令名称，判断所述任一指令是否存在缺陷。
4.根据权利要求3所述的处理器指令集测试方法，其特征在于，所述根据所述任一指令及所述第二指令名称，获取所述任一指令的第三指令名称，包括：
若所述任一指令为已定义指令，则将所述第二指令名称作为所述第三指令名称，若所述任一指令不为已定义指令，则将预设名称作为所述第三指令名称。
5.根据权利要求3所述的处理器指令集测试方法，其特征在于，所述根据所述第三指令名称与所述第一指令名称，判断所述任一指令是否存在缺陷，包括：
若所述第三指令名称与所述第一指令名称一致，...
【专利技术属性】
技术研发人员：孟丹，李丹萍，朱子元，史岗，
申请(专利权)人：中国科学院信息工程研究所，
类型：发明
国别省市：北京;11
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。