Abstract:SUMMARYAspect‐oriented programming yields new types of programming faults due to the introduction of new constructs for dealing with crosscutting concerns. To reveal aspect faults, this paper presents a framework for testing whether or not aspect‐oriented programs conform to their state models. It supports two families of strategies (i.e. structure‐oriented and property‐oriented) for automated generation of aspect tests from aspect‐oriented state models. A structure‐oriented testing strategy derives tests and test code from an aspect‐oriented state model to meet a given structural coverage criterion, such as state coverage, transition coverage, or round trip. A property‐oriented testing strategy generates test code from the counterexamples of model checking. Two such strategies are checking an aspect‐oriented state model against trap properties and checking mutants of aspect models against system properties. Mutation analysis of aspect‐oriented programs is used to evaluate the effectiveness of these testing strategies. The experiments demonstrate that testing aspect‐oriented programs against their state models can detect many aspect faults. The comparative evaluations also reveal that the structure‐oriented and property‐oriented testing strategies complement each other—some aspect faults were detected by the structure‐oriented strategies, but not by the property‐oriented strategies and vice versa. Copyright © 2010 John Wiley & Sons, Ltd.

AN ASPECT-ORIENTED SOFTWARE FAULT TOLERANCE ENHANCEMENT TOOL

Verifying Aspect-Oriented Programs Using Open Temporal Logic

Study on Fault-Tolerant Based on Modular Method in the Development of Test and Control System Software

Static and Dynamic Quality Assurance by Aspect Oriented Techniques

Testing Aspect-Oriented Programs with Finite State Machines.

Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System

An Approach of Automatically Performing Fault Tree Analysis and Failure Mode and Effect Techniques to Software Processes

A Path-Oriented Tool Supporting for Testing

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

A Tool of Automatic Generation of Fault Trees for Complex Systems

Generic Fault Tolerant Software Architecture Reasoning and Customization

A Framework and Tool Supports for Generating Test Inputs of AspectJ Programs

Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support

Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW

An improved decomposition scheme for assessing the reliability of embedded systems by using dynamic fault trees

Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL

Understanding and Detecting Annotation-Induced Faults of Static Analyzers

Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques

An automatic coverage analysis for systemc using UML and aspect-oriented technology

An Approach to Static Analysis of Exception Handling in C~(++)

Crosscutting Feature Analysis-based Automatic Software Architecture Refactoring Method