Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Software Engineering for Resilient Systems

SERENE 2015: Software Engineering for Resilient Systems pp 46–61Cite as

Considering Execution Environment Resilience: A White-Box Approach

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9274))

Abstract

Over the last decade code-based test case generation techniques such as combinatorial testing or dynamic symbolic execution have seen growing research popularity. Most algorithms and tool implementations are based on finding assignments for input parameter values in order to maximise the execution branch coverage. Only few of them consider dependencies from outside the Code Under Test’s scope such as global variables, database values and subroutine calls as influences to the execution path. In order to fully test all possible scenarios these dependencies have to be taken into account for the test input generation. This paper introduces ITEC, a tool for automated test case generation to support execution environment resilience in large-scaled, complex systems. One of ITEC’s corner stones is a technique called semi-purification, a source code transformation technique to overcome limitations of existing tools and to set up the required system state for software testing.

This is a preview of subscription content, 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   34.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   44.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

Learn about institutional subscriptions

Notes

  1. 1.

    Gonzalez-Berges, M. – Presentation at ETM Day, (CERN, 2013).

References

  1. Qu, X., Robinson, B.: A case study of concolic testing tools and their limitations. In: 2011 International Symposium on Empirical Software Engineering and Measurement, pp. 117–126. IEEE Computer Society, Los Alamitos (2011)

    Google Scholar 

  2. King, J.C.: A new approach to program testing. ACM SIGPLAN Not. 10(6), 228–233 (1975). ACM, New York

    Article  Google Scholar 

  3. Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. 43(2), 11:1–11:29 (2011). ACM, New York

    Article  MATH  Google Scholar 

  4. Colbourn, C.J.: Combinatorial aspects of covering arrays. In: Le Matematiche, vol. 58, Catania, Italy (2004)

    Google Scholar 

  5. Haskell. Functional programming (2014)

    Google Scholar 

  6. Anand, S., Burke, E.K., Chen, T.Y., Clark, J., Cohen, M.B., Grieskamp, W., Harman, M., Harrold, M.J., Mcminn, P.: An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86(8), 1978–2001 (2013)

    Article  Google Scholar 

  7. ETM Professional Control: WinCC OA at a glance. Technical report, Siemens AG (2012)

    Google Scholar 

  8. ETM Professional Control: Control script language (2015). http://etm.at/index_e.asp?id=2&sb1=54&sb2=118&sb3=&sname=&sid=&seite_id=118. Accessed 18 Apr 2015

  9. Sward, R.E., Chamillard, A.T.: Re-engineering global variables in Ada. In: Proceedings of the 2004 ACM SIGAda International Conference on Ada, pp. 29–34. ACM, New York (2003)

    Google Scholar 

  10. Sankaranarayanan, H., Kulkarni, P.: Source-to-source refactoring and elimination of global variables in C programs. J. Softw. Eng. Appl. 6(5), 264–273 (2013)

    Article  Google Scholar 

  11. Meszaros, G.: Test double patterns (Chapter 23). In: XUnit Test Patterns: Refactoring Test Code, pp. 521–590. Prentice Hall PTR, Upper Saddle River (2006)

    Google Scholar 

  12. Barbey, S., Buchs, D., Péraire, C.: A theory of specification-based testing for object-oriented software. In: Hlawiczka, A., Simoncini, L., Silva, J.G.S. (eds.) EDCC 1996. LNCS, vol. 1150, pp. 303–320. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  13. Péraire, C., Barbey, S., Buchs, D.: Test selection for object-oriented software based on formal specifications. In: Gries, D., de Roever, W.-P. (eds.) PROCOMET 1998. LNCS (IFIP), pp. 385–403. Springer, New York (1998)

    Chapter  Google Scholar 

  14. Lawrence, D., Buchs, D., Wellig, A.: Using instrumentation for quality assessment of resilient software in embedded systems. In: Majzik, I., Vieira, M. (eds.) SERENE 2014. LNCS, vol. 8785, pp. 139–153. Springer, Heidelberg (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université de Genève, Centre Universitaire d’Informatique, Carouge, Switzerland

    Stefan Klikovits, David P. Y. Lawrence & Didier Buchs

  2. CERN, European Organization for Nuclear Research, Geneva, Switzerland

    Stefan Klikovits & Manuel Gonzalez-Berges

  3. Honeywell International Sarl., Rolle, Switzerland

    David P. Y. Lawrence

Authors
  1. Stefan Klikovits
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David P. Y. Lawrence
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Manuel Gonzalez-Berges
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Didier Buchs
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stefan Klikovits .

Editor information

Editors and Affiliations

  1. University of Florence, Firence, Italy

    Alessandro Fantechi

  2. University of Gothenburg, Gothenburgh, Sweden

    Patrizio Pelliccione

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Klikovits, S., Lawrence, D.P.Y., Gonzalez-Berges, M., Buchs, D. (2015). Considering Execution Environment Resilience: A White-Box Approach. In: Fantechi, A., Pelliccione, P. (eds) Software Engineering for Resilient Systems. SERENE 2015. Lecture Notes in Computer Science(), vol 9274. Springer, Cham. https://doi.org/10.1007/978-3-319-23129-7_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-23129-7_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-23128-0

  • Online ISBN: 978-3-319-23129-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation