Instrumenting contracts with aspect-oriented programming to increase observability and support debugging

Lionel C. Briand; W. J. Dzidek; Yvan Labiche

doi:10.1109/ICSM.2005.55

Instrumenting contracts with aspect-oriented programming to increase observability and support debugging

Lionel C. Briand, W. J. Dzidek, Yvan Labiche

Research output: Contribution to conference › Paper › peer-review

Abstract

In this paper we report on how Aspect-Oriented Programming (AOP), using AspectJ, can be employed to automatically and efficiently instrument contracts and invariants in Java, The paper focuses on the templates to instrument preconditions, postconditions, and class invariants, and the necessary instrumentation for compliance-checking to the Liskov Substitution Principle.

Original language	English
Pages	687-690
Number of pages	4
DOIs	https://doi.org/10.1109/ICSM.2005.55
Publication status	Published - 2005
Externally published	Yes
Event	21st IEEE International Conference on Software Maintenance, ICSM 2005 - Budapest, Hungary Duration: 26 Sep 2005 → 29 Sep 2005

Conference

Conference	21st IEEE International Conference on Software Maintenance, ICSM 2005
Country/Territory	Hungary
City	Budapest
Period	26/09/05 → 29/09/05

Access to Document

10.1109/ICSM.2005.55

Cite this

@conference{0e8f521c844c43cea77b1873097882f4,

title = "Instrumenting contracts with aspect-oriented programming to increase observability and support debugging",

abstract = "In this paper we report on how Aspect-Oriented Programming (AOP), using AspectJ, can be employed to automatically and efficiently instrument contracts and invariants in Java, The paper focuses on the templates to instrument preconditions, postconditions, and class invariants, and the necessary instrumentation for compliance-checking to the Liskov Substitution Principle.",

author = "Briand, {Lionel C.} and Dzidek, {W. J.} and Yvan Labiche",

year = "2005",

doi = "10.1109/ICSM.2005.55",

language = "English",

pages = "687--690",

note = "21st IEEE International Conference on Software Maintenance, ICSM 2005 ; Conference date: 26-09-2005 Through 29-09-2005",

}

TY - CONF

T1 - Instrumenting contracts with aspect-oriented programming to increase observability and support debugging

AU - Briand, Lionel C.

AU - Dzidek, W. J.

AU - Labiche, Yvan

PY - 2005

Y1 - 2005

N2 - In this paper we report on how Aspect-Oriented Programming (AOP), using AspectJ, can be employed to automatically and efficiently instrument contracts and invariants in Java, The paper focuses on the templates to instrument preconditions, postconditions, and class invariants, and the necessary instrumentation for compliance-checking to the Liskov Substitution Principle.

AB - In this paper we report on how Aspect-Oriented Programming (AOP), using AspectJ, can be employed to automatically and efficiently instrument contracts and invariants in Java, The paper focuses on the templates to instrument preconditions, postconditions, and class invariants, and the necessary instrumentation for compliance-checking to the Liskov Substitution Principle.

UR - http://www.scopus.com/inward/record.url?scp=33646923734&partnerID=8YFLogxK

U2 - 10.1109/ICSM.2005.55

DO - 10.1109/ICSM.2005.55

M3 - Paper

AN - SCOPUS:33646923734

SP - 687

EP - 690

T2 - 21st IEEE International Conference on Software Maintenance, ICSM 2005

Y2 - 26 September 2005 through 29 September 2005

ER -

Instrumenting contracts with aspect-oriented programming to increase observability and support debugging

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this