一种用于微处理器功能验证的测试程序生成方法及装置

摘要

一种用于微处理器功能验证的测试程序生成方法及装置；方法包括：A、随机生成μ+λ个个体并保存成原始生成种群；将所述原始生成种群作为当前种群；B、结合指令库，将当前种群中的个体转化为测试程序；C、仿真执行当前种群中的各个体转化得到的测试程序，生成功能覆盖报告；D、如果当前种群是原始生成种群，则直接进行步骤E；否则选择当前种群中的个体进行λ次交叉、变异操作，产生的新个体也保存进当前种群，然后进行步骤E；E、根据功能覆盖报告，从当前种群中选出至少μ个个体作为新一代种群；F、如果满足停止条件，则输出该新一代种群中个体对应的测试程序集；否则将该新一代种群作为当前种群，返回步骤B。