Model checking aspect-oriented design specification

D Xu, I Alsmadi, W Xu - 31st Annual International Computer …, 2007‏ - ieeexplore.ieee.org
Aspects can be used in a harmful way that invalidates desired properties. Rigorous
specification and analysis of aspect design is thus highly desirable. This paper presents an …

[PDF][PDF] Automated State-Based Unit Testing for Aspect-Oriented Programs: A Supporting Framework.

M Badri, L Badri, M Bourque-Fortin - J. Object Technol., 2009‏ - jot.fm
Interactions between aspects and classes are a new source for faults. Existing
objectoriented testing techniques are not adequate for testing aspect-oriented programs. As …

Unveiling and taming liabilities of aspects in the presence of exceptions: a static analysis based approach

R Coelho, A von Staa, U Kulesza, A Rashid… - Information Sciences, 2011‏ - Elsevier
As aspects extend or replace existing functionality at specific join points in the code, their
behavior may raise new exceptions, which can flow through the program execution in …

Testing aspect-oriented programs with UML design models

D Xu, W Xu, WE Wong - International Journal of Software …, 2008‏ - World Scientific
The new constructs in aspect-oriented programming bring new types of programming faults
with respect to crosscutting concerns, such as incorrect pointcuts and advice. This paper …

A state-based testing approach for aspect-oriented programming

CH Liu, CW Chang - 2008‏ - dspace.fcu.edu.tw
In recent years, Aspect Oriented Programming (AOP) has become an emerging technology
due to its ability of supporting separation of concerns. In particular, AOP allows application …

A fault model for pointcuts and advice in AspectJ programs

JS Baekken - 2006‏ - rex.libraries.wsu.edu
When discussing faults, it is interesting to know what possible effects on program execution
those faults can have. The behavior of a program is bound by the control dependences and …

Usabilty evaluation of the MumIES (Multimodal Interface based Education and Support) system for the children with special needs in Bangladesh

A Zaman, M Bhuiyan - 2014 International Conference on …, 2014‏ - ieeexplore.ieee.org
In contemporary world, people become dependent on electronic devices. Technologies help
to clarification and structure life in many ways to meet the need of the children oriented …

Titan: a framework for aspect oriented system evolution

MA Pérez-Toledano, A Navasa… - International …, 2007‏ - ieeexplore.ieee.org
Aspect oriented software development provides a suitable support for software system
evolution. The system properties are better encapsulated resulting in easier manipulation …

A joinpoint coverage measurement tool for evaluating the effectiveness of test inputs for aspectj programs

F Wedyan, S Ghosh - 2008 19th International Symposium on …, 2008‏ - ieeexplore.ieee.org
Testing aspect-oriented programs is challenging in part because of the interactions between
the aspects and the base classes with which the aspects are woven. Coverage metrics, such …

[PDF][PDF] Testing Aspect-Oriented Programs with UML Activity Diagrams

S Madadpour, SHM Hosseinabadi… - International Journal of …, 2011‏ - researchgate.net
ABSTRACT Aspect-Oriented Programming is a software engineering paradigm that offers
new constructs, such as join points, pointcuts, advices, and aspects in order to improve …