使用切片工具帮助调试的任何成功事例

Question

程序切片是一种软件技术，其中研究社区的活动要比工业界多得多。除了研究社区之外，有没有人在生产代码上使用切片工具来帮助调试或其他任务？如果是的话，你使用了哪些工具？

Answer 1

以下Chrome屏幕截图显示了运行在浏览器中的XSLT2.0处理器的跟踪输出：

XSLT程序是“切片”的，因此在执行跟踪输出时，每个指令都会记录下来。输出XML的嵌套解释了执行层次结构。

上面的示例帮助显示作为xsl:apply- template指令的结果执行的实际模板。因此，跟踪显示了从IDE调试器中获得的相同信息--但不必遍历每一行代码。

如果在正在执行的代码中抛出异常，则跟踪将在该点终止，准确地显示代码失败的位置，从而提供更多的信息，说明典型的调用堆栈。

另外，还可以在XSLT中嵌入其他跟踪指令(以fn:trace调用的形式)，以便为代码的特定部分提供额外的诊断。

Answer 2

在线XPath示踪器执行切片，但它可能不符合您的定义，因为它是一种表达式语言，XPath 2.0，而不是一种成熟的编程语言。

目前，这允许选择表达式的特定部分；然后解析并显示表达式该部分的“路径”。在本例中，XSLT2.0用于执行表达式的部分解析。

这个追踪器有两个目标，当它完成时：

1. 当编辑表达式的一部分时，它将允许自动完成列表显示特定路径的可用节点(对于选定的源文件)。
2. 当表达式不像预期的那样运行时，可以计算不同的表达式部分，以缩小感兴趣的范围。