Temporal Assertions using AspectJ

被引：62

作者：

Stolz, Volker ^{[1
]}

Bodden, Eric ^{[1
]}

机构：

[1] Rhein Westfal TH Aachen, Dept Comp Sci, Programming Languages & Program Anal, D-52056 Aachen, Germany

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2006年 / 144卷 / 04期

关键词：

Runtime verification; LTL; AspectJ; aspect-oriented programming; alternating automata;

D O I：

10.1016/j.entcs.2006.02.007

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We present a runtime verification framework for Java programs. Properties can be specified in Linear-time Temporal Logic (LTL) over AspectJ pointcuts. These properties are checked during program-execution by an automaton-based approach where transitions are triggered through aspects. No Java source code is necessary since AspectJ works on the bytecode level, thus even allowing instrumentation of third-party applications. As an example, we discuss safety properties and lock-order reversal.

引用

页码：109 / 124

页数：16

共 50 条

[1] Integrating Statechart Assertions into Java']Java Components Using AspectJ
Drusinsky, Doron
Michael, James Bret
Otani, Thomas W.
Shing, Man-Tak
[J]. 2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2008, : 366 - 372
[2] Temporal Assertions with Parametrized Propositions
Stolz, Volker
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (03) : 743 - 757
[3] Temporal assertions with parametrised propositions
Stolz, Volker
[J]. RUNTIME VERIFICATION, 2007, 4839 : 176 - 187
[4] Debugging with Dynamic Temporal Assertions
Al-Sharif, Ziad A.
Jeffery, Clinton L.
Said, Mahmoud H.
[J]. 2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, : 257 - 262
[5] TRUTH AND JUSTIFICATION OF THE TEMPORAL ASSERTIONS
Pascucci, Matteo
[J]. RIVISTA ITALIANA DI FILOSOFIA ANALITICA JUNIOR, 2011, 2 (02) : 124 - 136
[6] Using Empiric Semantic Correlation to Interpret Temporal Assertions in Clinical Texts
Hripcsak, George
Elhadad, Noemie
Chen, Yueh-Hsia
Zhou, Li
Morrison, Frances P.
[J]. JOURNAL OF THE AMERICAN MEDICAL INFORMATICS ASSOCIATION, 2009, 16 (02) : 220 - 227
[7] Integrating temporal assertions into a parallel debugger
Kovacs, J
Kusper, G
Lovas, R
Schreiner, W
[J]. EURO-PAR 2002 PARALLEL PROCESSING, PROCEEDINGS, 2002, 2400 : 113 - 120
[8] Symbolic model checking and simulation with temporal assertions
Weiss, RJ
Ruf, J
Kropf, T
Rosenstiel, W
[J]. ADVANCES IN DESIGN AND SPECIFICATION LANGUAGES FOR SOCS: SELECTED CONTRIBUTIONS FROM FDL'04, 2005, : 275 - 291
[9] Modelling Temporal Assertions for Global Directional Eliminativists
Kajimoto, Naoyuki
Miller, Kristie
Norton, James
[J]. PHILOSOPHERS IMPRINT, 2021, 21 (02): : 1 - 16
[10] Using assertions with trace
Nazimek, Piotr
[J]. PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2015, 2015, 9662

← 1 2 3 4 5 →