arXiv Open Access 2012

Simplifying Contract-Violating Traces

Christian Colombo Adrian Francalanza Ian Grima

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.SE cs.LO

Penulis (3)

Christian Colombo

Adrian Francalanza

Ian Grima

Format Sitasi

APA MLA BibTeX

Colombo, C., Francalanza, A., Grima, I. (2012). Simplifying Contract-Violating Traces. https://arxiv.org/abs/1209.2681

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2012
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓