Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Northrop, L.M.: SEI’s Software Product Line Tenets. IEEE Software 19, 32–40 (2002)
Ali, S., Briand, L.C., Arcuri, A., Walawege, S.: An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 108–122. Springer, Heidelberg (2011)
Ali, S., Hemmati, H., Holt, N.E., Arisholm, E., Briand, L.C.: Model Transformations as a Strategy to Automate Model-Based Testing - A Tool and Industrial Case Studies. Simula Research Laboratory, Technical Report (2010-01) (2010)
Drusinsky, D.: Modeling and Verification using UML Statecharts: A Working Guide to Reactive System Design. In: Runtime Monitoring and Execution-based Model Checking, Newnes (2006)
Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley Professional (2000)
Lavagno, L., Martin, G., Selic, B.V.: UML for Real: Design of Embedded Real-Time Systems. Springer (2003)
Ali, S., Briand, L.C., Hemmati, H.: Modeling Robustness Behavior Using Aspect-Oriented Modeling to Support Robustness Testing of Industrial Systems. Accepted for Publication in the Systems and Software Modeling (SOSYM) Journal (2011)
Ali, S., Iqbal, M.Z., Arcuri, A., Briand, L.: A Search-Based OCL Constraint Solver for Model-Based Test Data Generation. In: 11th International Conference on Quality Software (QSIC). IEEE (2011)
Filman, R.E., Elrad, T., Clarke, S., Aksit, M.: Aspect-Oriented Software Development. Addison-Wesley Professional (2004)
Ali, S., Yue, T., Briand, L.C., Malik, Z.I.: Does Aspect-Oriented Modeling Help Improve the Readability of UML State Machines? Under Consideration for a Publication in a Journal (2011)
Ali, S., Yue, T.: Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing. In: International Conference on Aspect-Oriented Software Development (AOSD 2012). ACM (2012)
Ali, S., Yue, T., Briand, L.C.: Empirically Evaluating the Impact of Applying Aspect State Machines on Modeling Quality and Effort Simula Research Laboratory, Technical Report (2011-06) (2011)
Yue, T., Ali, S.: Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., Störrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 133–145. Springer, Heidelberg (2012)
Iqbal, M.Z., Ali, S., Yue, T., Briand, L.: Experiences of Applying UML/MARTE on Three Industrial Projects. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, pp. 642–658. Springer, Heidelberg (2012)
IRISA and INRIA, http://www.kermeta.org/
Clauss, M.: Generic modeling using uml extensions for variability. In: OOPSLA (2001)
Ziadi, T., Hélouët, L., Jézéquel, J.-M.: Towards a UML Profile for Software Product Lines (2004)
Edson Alves de Oliveira, J., Gimenes, I.M.S., Huzita, E.H.M., Maldonado, J.C.: A variability management process for software product lines. In: Proceedings of the 2005 Conference of the Centre for Advanced Studies on Collaborative Research, pp. 225–241. IBM Press, Toranto (2005)
Gomaa, H., Shin, M.E.: Multiple-View Meta-Modeling of Software Product Lines. In: Proceedings of the Eighth International Conference on Engineering of Complex Computer Systems, p. 238. IEEE Computer Society (2002)
Gomaa, H.: Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures. Addison-Wesley Professional (2004)
Jayaraman, P., Whittle, J., Elkhodary, A.M., Gomaa, H.: Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 151–165. Springer, Heidelberg (2007)
Morin, B., Klein, J., Barais, O., Jezequel, J.-M.: A generic weaver for supporting product lines. In: Proceedings of the 13th International Workshop on Early Aspects, pp. 11–18. ACM, Leipzig (2008)
Groher, I., Voelter, M.: Using Aspects to Model Product Line Variability. In: Early Aspects Workshop at SPLC (2008)
Morin, B., Perrouin, G., Lahire, P., Barais, O., Vanwormhoudt, G., Jézéquel, J.-M.: Weaving Variability into Domain Metamodels. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 690–705. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ali, S., Yue, T., Briand, L., Walawege, S. (2012). A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2012. Lecture Notes in Computer Science, vol 7590. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33666-9_46
Download citation
DOI: https://doi.org/10.1007/978-3-642-33666-9_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33665-2
Online ISBN: 978-3-642-33666-9
eBook Packages: Computer ScienceComputer Science (R0)