An experience on verification of aspect properties

Authors:
Giovanni Denaro;Mattia Monga
Affiliations:
Politecnico di Milano, I 20133 Milano, Italy;Politecnico di Milano, I 20133 Milano, Italy
Venue:
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Year:
2001

Citing 7
Cited 7

Design and validation of computer protocols

Design and validation of computer protocols
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Model-based testing in practice

Proceedings of the 21st international conference on Software engineering
Concurrency: state models & Java programs

Concurrency: state models & Java programs
Workshop on multi-dimensional separation of concerns in software engineering (workshop session)

Proceedings of the 22nd international conference on Software engineering
Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns

Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns
Concurrent Programming in Java(TM): Design Principles and Patterns (3rd Edition) (Java (Addison-Wesley))

Concurrent Programming in Java(TM): Design Principles and Patterns (3rd Edition) (Java (Addison-Wesley))

Verifying aspect advice modularly

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Foundations of incremental aspect model-checking

ACM Transactions on Software Engineering and Methodology (TOSEM)
Control and data flow structural testing criteria for aspect-oriented programs

Journal of Systems and Software
Analysis of Aspect-Oriented Model Weaving

Transactions on Aspect-Oriented Software Development V
An Assume Guarantee Verification Methodology for Aspect-Oriented Programming

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Aspect-oriented modeling and verification with finite state machines

Journal of Computer Science and Technology - Special section on trust and reputation management in future computing systmes and applications
Testing aspect-oriented programs with finite state machines

Software Testing, Verification & Reliability

Quantified Score

Hi-index	0.01

Visualization

Abstract

Aspect oriented technologies enable concerns like concurrency or security to be coded in separate units. This paper suggests that relevant system properties can be verified just based on such separated code. A simple experience is reported for showing how the proposed approach works.