简化违反合同的痕迹
Simplifying Contract-Violating Traces
摘要：
在部署大型软件之前，契约一致性很难静态地确定。一个可扩展的替代方案是在部署后监视合同违规：一旦检测到违规，就会分析表征违规执行的跟踪，以查明违规的来源。这种技术的一个主要缺点是，违反合同的行为往往需要时间才能浮出水面，导致很长的痕迹难以分析。本文提出了一种方法，连同一个配套的工具，简化跟踪和协助违反合同的调试。
英文摘要：
Contract conformance is hard to determine statically, prior to the deployment of large pieces of software. A scalable alternative is to monitor for contract violations post-deployment: once a violation is detected, the trace characterising the offending execution is analysed to pinpoint the source of the offence. A major drawback with this technique is that, often, contract violations take time to surface, resulting in long traces that are hard to analyse. This paper proposes a methodology together with an accompanying tool for simplifying traces and assisting contract-violation debugging.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
