Abstract:Aspect-oriented modeling (AOM) is a relatively recent and very active field of research, whose application has, however, been limited in practice. AOM is assumed to yield several potential benefits such as enhanced modularization, easier evolution, increased reusability, and improved readability of models, as well as reduced modeling effort. However, credible, solid empirical evidence of such benefits is lacking. We evaluate the “readability” of state machines when modeling crosscutting behavior using AOM and more specifically AspectSM, a recently published UML profile. This profile extends the UML state machine notation with mechanisms to define aspects using state machines. Readability is indirectly measured through defect identification and fixing rates in state machines, and the scores obtained when answering a comprehension questionnaire about the system behavior. With AspectSM, crosscutting behavior is modeled using so-called “aspect state machines”. Their readability is compared with that of system state machines directly modeling crosscutting and standard behavior together. An initial controlled experiment and a much larger replication were conducted with trained graduate students, in two different institutions and countries, to achieve the above objective. We use two baselines of comparisons—standard UML state machines without hierarchical features (flat state machines) and standard state machines with hierarchical/concurrent features (hierarchical state machines). The results showed that defect identification and fixing rates are significantly better with AspectSM than with both flat and hierarchical state machines. However, in terms of comprehension scores and inspection effort, no significant difference was observed between any of the approaches. Results of the experiments suggest that one should use, when possible, aspect state machines along with hierarchical and/or concurrent features of UML state machines to model crosscutting behaviors.

Testing Aspect-Oriented Programs with Finite State Machines.

Verifying Aspect-Oriented Programs Using Open Temporal Logic

Aspect-Oriented Modeling and Verification with Finite State Machines

Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines

Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment

Perspectives on Automated Testing of Aspect-Oriented Programs

Bridging the gap between requirements and aspect state machines to support non-functional testing: industrial case studies

Automated Testing of Pointcuts in AspectJ Programs.

Effective code coverage in compositional systematic dynamic testing

Efficient Mutant Generation for Mutation Testing of Pointcuts in Aspect-Oriented Programs

Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines?

A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping Algorithms

Assessing the Modeling of Aspect State Machines for Testing from the Perspective of Modelers

Complete Requirements-based Testing with Finite State Machines

A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect State Machines: Results from a Series of Controlled Experiments

An Automatic Test Coverage Analysis For Systemc Description Using Aspect-Oriented Programming

Verifying Aspect-Oriented Models Against Crosscutting Properties

Detecting Redundant Unit Tests for AspectJ Programs

AN ASPECT-ORIENTED SOFTWARE FAULT TOLERANCE ENHANCEMENT TOOL

Automated test data generation for aspect-oriented programs

Comparing Fault-based Testing Strategies of General Boolean Specifications