Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
SEI's Software Product Line Tenets
IEEE Software
Multiple-View Meta-Modeling of Software Product Lines
ICECCS '02 Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems
UML for real: design of embedded real-time systems
UML for real: design of embedded real-time systems
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
A variability management process for software product lines
CASCON '05 Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
A generic weaver for supporting product lines
Proceedings of the 13th international workshop on Early Aspects
Aspect-oriented software development
Aspect-oriented software development
Weaving Variability into Domain Metamodels
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Proceedings of the 14th international conference on Model driven engineering languages and systems
A Search-Based OCL Constraint Solver for Model-Based Test Data Generation
QSIC '11 Proceedings of the 2011 11th International Conference on Quality Software
Comprehensively evaluating conformance error rates of applying aspect state machines
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Model composition in product lines and feature interaction detection using critical pair analysis
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Experiences of applying UML/MARTE on three industrial projects
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Assessing composition in modeling approaches
Proceedings of the CMA 2012 Workshop
A survey of software testing practices in Canada
Journal of Systems and Software
Hi-index | 0.00 |
Product Line Engineering (PLE) is expected to enhance quality and productivity, speed up time-to-market and decrease development effort, through reuse—the key mechanism of PLE. In addition, one can also apply PLE to support systematic testing and more specifically model-based testing (MBT) of product lines—the original motivation behind this work. MBT has shown to be cost-effective in many industry sectors but at the expense of building models of the system under test (SUT). However, the modeling effort to support MBT can significantly be reduced if an adequate product line modeling and configuration methodology is followed, which is the main motivation of this paper. The initial motivation for this work emerged while working with MBT for a Video Conferencing product line at Cisco Systems, Norway. In this paper, we report on our experience in modeling product family models and various types of behavioral variability in the Saturn product line. We focus on behavioral variability in UML state machines since the Video Conferencing Systems (VCSs) exhibit strong state-based behavior and these models are the main drivers for MBT; however, the approach can be also tailored to other UML diagrams. We also provide a mechanism to specify and configure various types of variability using stereotypes and Aspect-Oriented Modeling (AOM). Results of applying our methodology to the Saturn product line modeling and configuration process show that the effort required for modeling and configuring products of the product line family can be significantly reduced.