阿尼玛

检查重写逻辑计算（以参数化和逐步的方式）。跟踪检查与允许在跟踪内容中搜索特定组件的技术有关。本文提出了一种非参数化的逻辑重写方法，为非参数化检测提供了一种新的方法。使用这种技术，分析员可以在程序执行期间浏览、切片、过滤或搜索轨迹。从计算树中的选定状态开始，跟踪的导航由用户定义的检查标准驱动，该检查标准指定所需的探测模式。通过选择不同的检查标准，可以自动导出一系列实用的算法，如程序步进器和更复杂的动态跟踪切片器，这些算法有助于跨计算树动态检测控制和数据相关性。我们的方法是在Anima图形工具中实现的，它允许用户捕捉给定标准的影响，从而有助于检测不正确的程序行为。