Temporal Assertions using AspectJ |
| |
Authors: | Volker Stolz Eric Bodden |
| |
Affiliation: | Dept. of Computer Science, Programming Languages and Program Analysis, RWTH Aachen University, 52056 Aachen, Germany |
| |
Abstract: | 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. |
| |
Keywords: | Runtime verification LTL AspectJ aspect-oriented programming alternating automata |
本文献已被 ScienceDirect 等数据库收录! |
|