【摘要】软件的复杂性和抽象性使在当前软件开发过程中不可避免的存在错误，加之嵌入式系统时间和空间资源有限、高可靠性和高实时性等原因，使得针对嵌入式软件缺陷的检测难度加大。对静态分析方法的研究比较早，研究成果也比较多，但是静态方法难以检测软件运行时错误，且具有高误报率等缺点。动态分析方法是另一种运用比较广泛的软件分析方法，它不仅可以检测出一些隐藏缺陷，还可以追踪到运行时错误。然而，动态分析方法主要针对 […]