一种基于动态禁忌表的车联网固件仿真优化方法与系统

本发明公开了一种基于动态禁忌表的车联网固件仿真优化方法与系统，方法包括：根据固件代码控制流图，计算基本块的距离矩阵；统计基本块的调用链深度和调用上下文；构建禁忌表，遍历从起始点可达的所有基本块，计算基本块评估值，并选择评估值最小且非无穷大的后继地址作为下一个探索点，直至找到目标地址或确定路径不可达；其中评估值根据结合基本块到目标地址静态距离、上下文权重和历史价值的评估函数确定；动态更新禁忌中的条目，并根据访问次数分配至短期或长期禁忌列表；根据最终找到的路径使用虚拟化技术模拟对应外设行为，完成固件仿真。本发明能够选择更有价值的探索方向，避免无效路径的探索，提升了车联网固件仿真的效率。