Decompositional algorithms for safety verification and testing of aspect-oriented systems

Authors:
Cheng Li;Zhe Dang
Affiliations:
School of Electrical Engineering and Computer Science, Washington State University, Pullman, WA;School of Electrical Engineering and Computer Science, Washington State University, Pullman, WA
Venue:
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Year:
2006

Citing 6
Cited 1

Model checking

Model checking
Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Aspect-oriented programming with model checking

AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Assumption Generation for Software Component Verification

Proceedings of the 17th IEEE international conference on Automated software engineering
AspectJ in Action: Practical Aspect-Oriented Programming

AspectJ in Action: Practical Aspect-Oriented Programming
Testing systems of concurrent black-boxes—an automata-theoretic and decompositional approach

FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing

Synthesizing a specification-based monitor for safety requirements

Iranian Journal of Science and Technology, Transaction B: Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-oriented system specified by a number of primary labeled transition systems (some of them are black-boxes) and aspects. Our algorithms combine automata manipulations over the aspects and primary systems with black-box testing over each individual black-box, but without generating the woven system.