Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Composition patterns: an approach to designing reusable aspects
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A toolkit for weaving aspect oriented UML designs
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
Explicit Aspect Composition by Part-Whole State Charts
Proceedings of the Workshop on Object-Oriented Technology
UMLsec: Extending UML for Secure Systems Development
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
UML Bible
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
AspectJ in Action: Practical Aspect-Oriented Programming
AspectJ in Action: Practical Aspect-Oriented Programming
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition)
State-based incremental testing of aspect-oriented programs
Proceedings of the 5th international conference on Aspect-oriented software development
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
A Model Driven Exception Management Framework for Developing Reliable Software Systems
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Stateful aspects: the case for aspect-oriented modeling
Proceedings of the 10th international workshop on Aspect-oriented modeling
A meta-level specification and profile for AspectJ in UML
Proceedings of the 10th international workshop on Aspect-oriented modeling
Model-Driven Testing: Using the UML Testing Profile
Model-Driven Testing: Using the UML Testing Profile
A Fault Taxonomy for Service-Oriented Architecture
HASE '07 Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium
Integrating aspects in software architectures: PRISMA applied to robotic tele-operated systems
Information and Software Technology
Aspect-oriented software development
Aspect-oriented software development
Aspect-oriented multi-view modeling
Proceedings of the 8th ACM international conference on Aspect-oriented software development
UML-AOF: a profile for modeling aspect-oriented frameworks
Proceedings of the 13th workshop on Aspect-oriented modeling
Guidelines for conducting and reporting case study research in software engineering
Empirical Software Engineering
Systems Engineering with SysML/UML: Modeling, Analysis, Design
Systems Engineering with SysML/UML: Modeling, Analysis, Design
State Based Robustness Testing for Components
Electronic Notes in Theoretical Computer Science (ENTCS)
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation
QSIC '11 Proceedings of the 2011 11th International Conference on Quality Software
HiLA: high-level aspects for UML state machines
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Comprehensively evaluating conformance error rates of applying aspect state machines
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Weaving semantic aspects in HiLA
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Assessing composition in modeling approaches
Proceedings of the CMA 2012 Workshop
Hi-index | 0.00 |
Model-based robustness testing requires precise and complete behavioral, robustness modeling. For example, state machines can be used to model software behavior when hardware (e.g., sensors) breaks down and be fed to a tool to automate test case generation. But robustness behavior is a crosscutting behavior and, if modeled directly, often results in large, complex state machines. These in practice tend to be error prone and difficult to read and understand. As a result, modeling robustness behavior in this way is not scalable for complex industrial systems. To overcome these problems, aspect-oriented modeling (AOM) can be employed to model robustness behavior as aspects in the form of state machines specifically designed to model robustness behavior. In this paper, we present a RobUstness Modeling Methodology (RUMM) that allows modeling robustness behavior as aspects. Our goal is to have a complete and practical methodology that covers all features of state machines and aspect concepts necessary for model-based robustness testing. At the core of RUMM is a UML profile (AspectSM) that allows modeling UML state machine aspects as UML state machines (aspect state machines). Such an approach, relying on a standard and using the target notation as the basis to model the aspects themselves, is expected to make the practical adoption of aspect modeling easier in industrial contexts. We have used AspectSM to model the crosscutting robustness behavior of a videoconferencing system and discuss the benefits of doing so in terms of reduced modeling effort and improved readability.