Abstract
Modern systems are composed of many subsystems, so it is necessary to understand how to combine them into complete functional systems. When testing a system that includes hardware, it is important that each selected test configuration delivers maximum information for covering many test cases. We have developed a method and a tool for creating a small set of effective test configurations that is based on a systematic approach to describing and formalizing the functionality of the whole system as well as its component into subsystems using feature models and relational notations between them. We applied our approach to an example point-of-sale checkout system consisting of one server and multiple registers.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
References
Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanović, D., King, T., Reynolds, A., Tinelli, C.: CVC4. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 171–177. Springer, Heidelberg (2011)
Bürdek, J., Lochau, M., Bauregger, S., Holzer, A., von Rhein, A., Apel, S., Beyer, D.: Facilitating reuse in multi-goal test-suite generation for software product lines. In: Egyed, A., Schaefer, I. (eds.) FASE 2015. LNCS, vol. 9033, pp. 84–99. Springer, Heidelberg (2015)
Cohen, M.B., Dwyer, M.B., Shi, J.: Interaction testing of highly-configurable systems in the presence of constraints. In: ISSTA2007, pp. 129–139. ACM (2007). http://doi.acm.org/10.1145/1273463.1273482
Haugen, Ø., Wasowski, A., Czarnecki, K.: CVL: common variability language. In: SPLC2013, p. 277. ACM (2013)
Hervieu, A., Baudry, B., Gotlieb, A.: Pacogen: automatic generation of pairwise test configurations from feature models. In: ISSRE2011, pp. 120–129. IEEE (2011). doi:10.1109/ISSRE.2011.31
Hsu, H.Y., Orso, A.: Mints: a general framework and tool for supporting test-suite minimization. In: ICSE2009, pp. 419–429. IEEE (2009)
Kang, K.C., et al.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, Carnegie-Mellon University Software Engineering Institute, November 1990
Kitamura, T., Do, N.T.B., Ohsaki, H., Fang, L., Yatabe, S.: Test-case design by feature trees. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol. 7609, pp. 458–473. Springer, Heidelberg (2012)
Object Management Group: Common Variability Language (CVL) (2012). http://www.omgwiki.org/variability/lib/exe/fetch.php?id=start&cache=cache&media=cvl-revised-submission.pdf
Object Management Group: Object Constraint Language (OCL). Version 2.3.1 (2012). http://www.omg.org/spec/OCL/2.3.1/
Olimpiew, E.M., Gomaa, H.: Model-based test design for software product lines. In: SPLC 2008, pp. 173–178 (2008)
Oster, S., et al.: Moso-polite: tool support for pairwise and model-based software product line testing. In: VaMoS 2011, pp. 79–82. ACM (2011)
Research Group on Model-driven Software Engineering at SINTEF: The CVL 2 Tool (2014). http://modelbased.net/tools/cvl-2-tool/
Shimbara, D., et al.: Feature-analysis-based selection method for system configuration for system testing. In: PLEASE2012, pp. 61–64. IEEE, June 2012
The Eclipse Foundation: Eclipse Modeling Framework (2007). http://www.eclipse.org/emf/
The Eclipse Foundation: Graphical Modeling Framework (2007). http://www.eclipse.org/gmf-tooling/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Shimbara, D., Haugen, Ø. (2015). Generating Configurations for System Testing with Common Variability Language. In: Fischer, J., Scheidgen, M., Schieferdecker, I., Reed, R. (eds) SDL 2015: Model-Driven Engineering for Smart Cities. SDL 2015. Lecture Notes in Computer Science(), vol 9369. Springer, Cham. https://doi.org/10.1007/978-3-319-24912-4_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-24912-4_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24911-7
Online ISBN: 978-3-319-24912-4
eBook Packages: Computer ScienceComputer Science (R0)