一种用于ATE测试的处理方法

专利主权项内容

1.一种用于ATE测试的处理方法，其特征在于，所述处理方法包括以下步骤：S100，获取SVF文件，所述SVF文件包括若干SVF语句段，每一SVF语句段包括若干条SVF语句；S200，从SVF文件的第一个SVF语句段开始，按照从上向下的顺序判断所述SVF文件包括的SVF语句段是否满足预设的第一条件，并将第一个满足所述预设的第一条件的SVF语句段确定为开始目标段；所述第一条件包括：SVF语句段的注释行中存在写命令、SVF语句段的链长为预设的链长且SVF语句段的向量中的第一预设位置的元素为预设的元素；S300，从所述开始目标段开始，按照从上向下的顺序判断所述SVF文件包括的SVF语句段是否满足预设的第二条件，若待判断的SVF语句段满足预设的第二条件且存在对应的关联SVF语句段，则将待判断的SVF语句段与对应的关联SVF语句段转换为一条对应的操作追加至预设的操作列表文件；如果待判断的SVF语句段不满足预设的第二条件且不为任一满足预设的第二条件的SVF语句段对应的关联SVF语句段，则将待判断的SVF语句段追加至预设的操作列表文件；所述操作列表文件的初始化为空文件；所述预设的第二条件包括：SVF语句段的注释行中的地址存在于预设的地址列表中；S400，输出所述操作列表文件；S500，获取经修改的操作列表文件，所述经修改的操作列表文件是对操作列表文件进行了增添操作处理、删除操作处理、修改操作处理中的至少一种得到的；S600，将所述经修改的操作列表文件转换为SVF新文件。