约束逻辑程序的通用动态分析的探针驱动器
软件工程
2007-05-23 v1
摘要
带约束的程序难以调试。本文描述了一种通用架构，以帮助开发新的调试工具。约束编程的可能工具由单个通用探针驱动。探针驱动器用于根据工具的需求调整实际的跟踪内容。这使工具和探针能够以客户端-服务器方案进行通信。每个工具通过事件模式描述其对执行数据的需求。探针驱动器根据这些事件模式审查执行，并仅发送与已连接工具相关的数据。实验测量表明，在约束逻辑编程环境中，这种方法导致了良好的性能，因为存在大量工具且跟踪数据可能非常庞大。
引用
@article{arxiv.cs/0508105,
title = {A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs},
author = {Ludovic Langevine and Mireille Ducasse},
journal= {arXiv preprint arXiv:cs/0508105},
year = {2007}
}
备注
In A. Serebrenik and S. Munoz-Hernandez (editors), Proceedings of the 15th Workshop on Logic-based methods in Programming Environments, October 2005, Spain. Whole proceedings: cs.PL/0508078. 15 pages