阿尼玛

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换