Hamza Samih
ABSTRACT
The diversity of requirements elicited from different customers leads to the development of many variants. Furthermore, compliance with safety standards as mandated for safety-critical systems requires high test efforts for each variant. Model-based testing aims to reduce test efforts by automatically generating test cases from test models.
In this paper, we introduce variability management to usage models, a widely used model-based testing formalism. We present an approach that allows to derive usage model variants from a desired set of features and thus generate test cases for each variant. The approach is integrated in the industrial model-based testing tool chain MaTeLo and exemplified using an industrial case study from the aerospace domain.
- H. Samih, M. Acher, R. Bogusch, H. Le Guen, and B. Baudry, "An approach to derive usage models variants for model-based testing," in 26th IFIP International Conference on Testing Software and Systems. 26th IFIP International Conference on Testing Software and Systems, 2014, to appear.Google Scholar
- H. Samih, M. Acher, R. Bogusch, H. Le Guen, and B. Baudry, "Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study," Aug. 2014. {Online}. Available: http://hal.inria.fr/hal-01002099Google Scholar
- M. Utting and B. Legeard, Practical Model-based Testing. Morgan-Kaufmann, 2007. Google ScholarDigital Library
- G. Perrouin, S. Sen, J. Klein, B. Baudry, and Y. Le Traon, "Automated and scalable t-wise test case generation strategies for software product lines," 2010, pp. 459--468. Google ScholarDigital Library
- A. Feliachi and H. Le Guen, "Generating transition probabilities for automatic model-based test generation," in ICST, 2010, pp. 99--102. Google ScholarDigital Library
- X. Devroey, M. Cordy, G. Perrouin, E.-Y. Kang, P.-Y. Schobbens, P. Heymans, A. Legay, and B. Baudry, "A vision for behavioural model-driven validation of software product lines," ser. ISoLA'12, 2012, pp. 208--222. Google ScholarDigital Library
- H. Le Guen and T. Thelin, "Practical experiences with statistical usage testing," in Proceedings of the Eleventh Annual International Workshop on Software Technology and Engineering Practice, ser. STEP '03. Washington, DC, USA: IEEE Computer Society, 2003, pp. 87--93. {Online}. Available: http://dl.acm.org/citation.cfm?id=1032663.1034395 Google ScholarDigital Library
- K. Pohl, G. Böckle, and F. van der Linden, Software Product Line Engineering: Foundations, Principles and Techniques. Secaucus, NJ, USA: Springer-Verlag New York, Inc., 2005. Google ScholarDigital Library
- P. Clements and L. Northrop, Software Product Lines: Practices and Patterns, ser. The SEI series in software engineering. Addison Wesley Professional, 2002.Google Scholar
- K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, "Feature-oriented domain analysis (foda) feasibility study," Carnegie-Mellon University Software Engineering Institute, Tech. Rep., November 1990.Google ScholarCross Ref
- B. Combemale, O. Barais, O. Alam, and J. Kienzle, "Using CVL to Operationalize Product Line Development with Reusable Aspect Models," 2012.Google Scholar
- Q. Boucher, A. Classen, P. Faber, and P. Heymans, "Introducing tvl, a text-based feature modelling," in VaMoS, 2010, pp. 159--162.Google Scholar
- T. Berger, R. Rublack, D. Nair, J. M. Atlee, M. Becker, K. Czarnecki, and A. W, asowski, "A survey of variability modeling in industrial practice," in Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, ser. VaMoS '13. New York, NY, USA: ACM, 2013, pp. 7:1--7:8. Google ScholarDigital Library
- A. Hervieu, B. Baudry, and A. Gotlieb, "Pacogen: Automatic generation of pairwise test configurations from feature models," ser. ISSRE '11, 2011, pp. 120--129. Google ScholarDigital Library
- M. Acher, P. Collet, P. Lahire, and R. France, "FAMILIAR: A Domain-Specific Language for Large Scale Management of Feature Models," Science of Computer Programming, Dec. 2012. {Online}. Available: http://hal.inria.fr/hal-00767175 Google ScholarDigital Library
Index Terms
- MPLM - MaTeLo product line manager: [relating variability modelling and model-based testing]
Recommendations
Variability extraction and modeling for product variants
SPLC '18: Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1Fast changing hardware and software technologies in addition to larger and more specialized customer bases demand software tailored to meet very diverse requirements. Software development approaches that aim at capturing this diversity on a single ...
A product line modeling and configuration methodology to support model-based testing: an industrial case study
MODELS'12: Proceedings of the 15th international conference on Model Driven Engineering Languages and SystemsProduct 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 ...
An Approach to Derive Usage Models Variants for Model-Based Testing
ICTSS 2014: Proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 8763Testing techniques in industry are not yet adapted for product line engineering (PLE). In particular, Model-based Testing (MBT), a technique that allows to automatically generate test cases from requirements, lacks support for managing variability (...
Comments