一种基于应用程序结构的非原子指令序列原型验证方法

摘要

本发明提供一种基于应用程序结构的非原子指令序列原型验证方法，包括：步骤1，基于应用程序的寄存器级实现对应用程序的数据流图进行c‑use和p‑use的二次分割，将p‑use分离出数据流图，得到数据流结构；步骤2，对待测处理器的基本控制结构和例外处理结构的实现方式进行分析，获得基本结构控制流；步骤3，设定非原子指令序列的环路复杂度，使用基本结构控制流反向构建获得指令序列的执行结构；步骤4，使用数据流结构和执行结构组成非原子指令序列；步骤5，基于基本路径测试法，导出非原子指令序列的独立路径，作为验证用例。本发明有效解决了验证资源与验证需求不匹配的矛盾，实现指令集应用程序验证的可操作性。