ARVE: aspect-oriented runtime verification environment

Authors:
Hiromasa Shin;Yusuke Endoh;Yoshio Kataoka
Affiliations:
Corporate Research & Development Center, Toshiba Corporation, Kawasaki-shi, Kanagawa, Japan;Corporate Research & Development Center, Toshiba Corporation, Kawasaki-shi, Kanagawa, Japan;Corporate Research & Development Center, Toshiba Corporation, Kawasaki-shi, Kanagawa, Japan
Venue:
RV'07 Proceedings of the 7th international conference on Runtime verification
Year:
2007

Citing 6
Cited 1

Dynamic weaving for aspect-oriented programming

AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
JAsCo: an aspect-oriented approach tailored for component based software development

Proceedings of the 2nd international conference on Aspect-oriented software development
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Pin: building customized program analysis tools with dynamic instrumentation

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
An API for Runtime Code Patching

International Journal of High Performance Computing Applications
Temporal Assertions using AspectJ

Electronic Notes in Theoretical Computer Science (ENTCS)

Runtime verification of service-oriented systems: a well-rounded survey

International Journal of Web and Grid Services

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software quality assurance activities consume a large amount of effort in industrial software developments. Actually, industrial software development sometimes requires a larger amount of testing/verification assets than the product code itself. Appropriate management of the testing/verification assets will effectively reduce the software quality assurance effort. We propose a verification asset reuse environment based on the aspect-oriented programming paradigm. Our tool, ARVE (Aspect-oriented Runtime Verification Environment), enables efficient verification asset reuse thanks to the aspect-oriented scripting language. ARVE also promotes the efficiency of the verification process by automating the verification script weaving.