Model-based testing in practice
Proceedings of the 21st international conference on Software engineering
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Incremental programming with extensible decisions
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
A UML-based aspect-oriented design notation for AspectJ
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Object-Oriented Software Construction
Object-Oriented Software Construction
Mastering AspectJ: Aspect-Oriented Programming in Java
Mastering AspectJ: Aspect-Oriented Programming in Java
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Mars Polar Lander Fault Identification Using Model-based Testing
ICECCS '02 Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems
Data-Flow-Based Unit Testing of Aspect-Oriented Programs
COMPSAC '03 Proceedings of the 27th Annual International Conference on Computer Software and Applications
Model-based testing for real: The inhouse card case study
International Journal on Software Tools for Technology Transfer (STTT)
Distributing classes with woven concerns: an exploration of potential fault scenarios
Proceedings of the 4th international conference on Aspect-oriented software development
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
ActiveAspect: presenting crosscutting structure
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
Abstractions for Model-Based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a fault model for AspectJ programs: step 1 -- pointcut faults
Proceedings of the 2nd workshop on Testing aspect-oriented programs
State-based testing of integration aspects
Proceedings of the 2nd workshop on Testing aspect-oriented programs
Towards regression test selection for AspectJ programs
Proceedings of the 2nd workshop on Testing aspect-oriented programs
Generation of test requirements from aspectual use cases
Proceedings of the 3rd workshop on Testing aspect-oriented programs
Testing aspect-oriented programs as object-oriented programs
Proceedings of the 3rd workshop on Testing aspect-oriented programs
A different need for sequencing contracts using state-based aspects
Proceedings of the 2nd workshop on Best practices in applying aspect-oriented software development
Regression Test Selection for AspectJ Software
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A test driven approach for aspectualizing legacy software using mock systems
Information and Software Technology
Execution and simulation of (profiled) UML models using pópulo
Proceedings of the 2008 international workshop on Models in software engineering
Automated test data generation for aspect-oriented programs
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Enabling the adoption of aspects - testing aspects: a risk model, fault model and patterns
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Unweaving the impact of aspect changes in AspectJ
Proceedings of the 2009 workshop on Foundations of aspect-oriented languages
Modeling and integrating aspects with UML activity diagrams
Proceedings of the 2009 ACM symposium on Applied Computing
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
Improving functional testing through aspects: a case study
Proceedings of the 10th international conference on Early aspects: current challenges and future directions
A pointcut-based coverage analysis approach for aspect-oriented programs
Information Sciences: an International Journal
Rigorous fault tolerance using aspects and formal methods
Rigorous Development of Complex Fault-Tolerant Systems
Testing aspect-oriented programs with finite state machines
Software Testing, Verification & Reliability
Software and Systems Modeling (SoSyM)
Aspect-oriented model-driven code generation: A systematic mapping study
Information and Software Technology
A critical review of various testing techniques in aspect-oriented software systems
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Taking aspects as incremental modifications to their base classes, this paper presents an incremental approach to testing whether or not aspect-oriented programs and their base classes conform to their respective behavior models. We exploit a rigorous aspect-oriented extension to state models for capturing the impact of aspects on the state transitions of base class objects as well as an explicit weaving mechanism for composing aspects into their base models. We generate abstract tests for base classes and aspect-oriented programs from their state models. As base class tests are not necessarily valid for aspect-oriented programs, we identify several rules for maximizing reuse of concrete base class tests for aspects according to the state-based impact of aspects on their base classes. To illustrate our approach, we use two examples that indicate distinctive types of aspect-oriented applications and exhibit fundamental features in complex applications: aspects removing state transitions from base classes and aspects adding and modifying state transitions in base classes. Our results show that majority of base class tests can be reused for aspects, but subtle modifications to some of them are necessary. In particular, positive (or negative) base class tests can become negative (or positive) aspect tests. We also discuss how several types of aspect-specific faults can be revealed by the state-based testing.