Skip to main content
SpringerLink
Log in

Generating Configurations for System Testing with Common Variability Language

  • Conference paper
  • First Online:
SDL 2015: Model-Driven Engineering for Smart Cities (SDL 2015)

Part of the book series: Lecture Notes in Computer Science ((LNCCN,volume 9369))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://modelbased.net/tools/ct-cvl.

References

  1. 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)

    Chapter  Google Scholar 

  2. 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)

    Google Scholar 

  3. 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

  4. Haugen, Ø., Wasowski, A., Czarnecki, K.: CVL: common variability language. In: SPLC2013, p. 277. ACM (2013)

    Google Scholar 

  5. 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

  6. Hsu, H.Y., Orso, A.: Mints: a general framework and tool for supporting test-suite minimization. In: ICSE2009, pp. 419–429. IEEE (2009)

    Google Scholar 

  7. Kang, K.C., et al.: Feature-oriented domain analysis (FODA) feasibility study. Technical report, Carnegie-Mellon University Software Engineering Institute, November 1990

    Google Scholar 

  8. 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)

    Google Scholar 

  9. 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

  10. Object Management Group: Object Constraint Language (OCL). Version 2.3.1 (2012). http://www.omg.org/spec/OCL/2.3.1/

  11. Olimpiew, E.M., Gomaa, H.: Model-based test design for software product lines. In: SPLC 2008, pp. 173–178 (2008)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. Research Group on Model-driven Software Engineering at SINTEF: The CVL 2 Tool (2014). http://modelbased.net/tools/cvl-2-tool/

  14. Shimbara, D., et al.: Feature-analysis-based selection method for system configuration for system testing. In: PLEASE2012, pp. 61–64. IEEE, June 2012

    Google Scholar 

  15. The Eclipse Foundation: Eclipse Modeling Framework (2007). http://www.eclipse.org/emf/

  16. The Eclipse Foundation: Graphical Modeling Framework (2007). http://www.eclipse.org/gmf-tooling/

Download references

Author information

Authors and Affiliations

  1. Research & Development Group, Hitachi, Ltd., Yokohama-shi, Kanagawa-ken, Japan

    Daisuke Shimbara

  2. Østfold University College, Halden, Norway

    Øystein Haugen

  3. SINTEF ICT, Oslo, Norway

    Øystein Haugen

Authors
  1. Daisuke Shimbara
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Øystein Haugen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Daisuke Shimbara .

Editor information

Editors and Affiliations

  1. Humboldt-Universität zu Berlin, Berlin, Germany

    Joachim Fischer

  2. Humboldt-Universität zu Berlin, Berlin, Germany

    Markus Scheidgen

  3. Fraunhofer FOKUS, Berlin, Germany

    Ina Schieferdecker

  4. Telecommunications Software Engineering, Windermere, United Kingdom

    Rick Reed

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation