Considering Execution Environment Resilience: A White-Box Approach

  • Stefan KlikovitsEmail author
  • David P. Y. Lawrence
  • Manuel Gonzalez-Berges
  • Didier Buchs
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9274)


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.


Resilience Automated test case generation Software testing Semi-purification Execution environment resilience 


  1. 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. 2.
    King, J.C.: A new approach to program testing. ACM SIGPLAN Not. 10(6), 228–233 (1975). ACM, New YorkCrossRefGoogle Scholar
  3. 3.
    Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. 43(2), 11:1–11:29 (2011). ACM, New YorkzbMATHCrossRefGoogle Scholar
  4. 4.
    Colbourn, C.J.: Combinatorial aspects of covering arrays. In: Le Matematiche, vol. 58, Catania, Italy (2004)Google Scholar
  5. 5.
    Haskell. Functional programming (2014)Google Scholar
  6. 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)CrossRefGoogle Scholar
  7. 7.
    ETM Professional Control: WinCC OA at a glance. Technical report, Siemens AG (2012)Google Scholar
  8. 8.
    ETM Professional Control: Control script language (2015). Accessed 18 Apr 2015
  9. 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. 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)CrossRefGoogle Scholar
  11. 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. 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) CrossRefGoogle Scholar
  13. 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)CrossRefGoogle Scholar
  14. 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

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Stefan Klikovits
    • 1
    • 2
    Email author
  • David P. Y. Lawrence
    • 1
    • 3
  • Manuel Gonzalez-Berges
    • 2
  • Didier Buchs
    • 1
  1. 1.Université de Genève, Centre Universitaire d’InformatiqueCarougeSwitzerland
  2. 2.CERN, European Organization for Nuclear ResearchGenevaSwitzerland
  3. 3.Honeywell International Sarl.RolleSwitzerland

Personalised recommendations