Testing of Safety-Critical Systems – a Structural Approach to Test Case Design

• Avizienis A, Laprie J-C, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secur Comput 1:11-33

  Article  Google Scholar 

• Beer A, Heindl M (2007) Issues in testing dependable event-based systems at a systems integration company. Proc Int Conf Availab Reliab Secur (ARES 2007), Vienna, Austria

  Google Scholar 

• Beer A, Menzel M (2008) Test automation patterns: closing the gap between requirements and test. Testing Experience Magazine, December 2008

  Google Scholar 

• Beer A, Ramler R (2008) The role of experience in software testing practice. 34thUROMICRO conference on software engineering and advanced applications. SEAA 2008, Parma, Italy

  Google Scholar 

• Beizer B (1990) Software system testing and quality assurance. Van Nostrand Reinhold

  Google Scholar 

• Belinfante A, Frantzen L, Schallhart C (2005) Tools for test case generation. In: Model-based testing of reactive systems. LNCS 3472. Springer

  Google Scholar 

• Black R (2009) Advanced software testing – guide to the ISTQB advanced certification Vol1 and 2, Rockynook

  Google Scholar 

• Blackburn M (2002) The Mars polar lander failure. STQE Magazine, September/October 2002

  Google Scholar 

• SEI (2006) CMMI® for Development, Version 1.2. Carnegie Mellon University

  Google Scholar 

• CENELEC (2001) EN 50128 Railway applications: communications, signalling and processing systems – software for railway control and protection systems

  Google Scholar 

• de Grood D-J (2008) TestGoal, Result-driven testing. Collis BV, Leiden.

  Google Scholar 

• Eastaughffe KA, Cant A, et al (1999) A framework for assessing standards for safety critical computer-based systems. In Proc Fourth IEEE Int Symp Forum Softw Eng Stand

  Google Scholar 

• Fernandez J C, Jard C, Jeron T, Viho C (1997) An experiment in automatic generation of test suites for protocols with verification technology. Sci Comput Program 29:123-146

  Article  Google Scholar 

• Frantzen L, Tretmans J, Willemse TAC (2006) A symbolic framework for model-based testing.

  Google Scholar 

• In: Havelund K, Núñez M, Rosu G, Wolff B (eds), Formal approaches to software testing and

  Google Scholar 

• runtime verification (FATES/RV) LNCS 4262. Springer

  Google Scholar 

• Hamlet R (1994) Random testing. In: Marciniak J (ed) Encyclopedia of software engineering. Wiley, New York

  Google Scholar 

• Howden W (1976) Reliability of the path analysis testing strategy. IEEE Trans Softw Eng 2:208- 215

  Article  MathSciNet  Google Scholar 

• ISO (1989) ISO 8807 Information processing systems – open systems interconnection – LOTOS – A formal description technique based on the temporal ordering of observational behaviour

  Google Scholar 

• ISTQB (2010) Standard glossary of terms used in software testing. Version 2.1. International Software Testing Qualifications Board, Glossary Working Party

  Google Scholar 

• Kahlouche H, Viho C, Zendri M (1998) An industrial experiment in automatic generation of executable test suites for a cache coherency protocol. In: Proc Int Workshop Test Commun Syst

  Google Scholar 

• Kuhn D, Wallace D (2000) Failure modes in medical device software: an analysis of 15 years of recall data. Nat. Institute of Standards and Technology, Gaithersburg, MD USA. http://csrc.nist.gov/staff/Kuhn/final-rqse.pdf. Accessed 25 August 2010

• Littlewood B, Strigini L (1993) Validation of ultrahigh dependability for software-based systems. Comm. ACM 36(11):69-80

  Article  Google Scholar 

• Lyu MR (ed) (1987) Handbook of software reliability engineering. IEEE Computer Society Press

  Google Scholar 

• McDonald M, Musson R, Smith R (2008) The practical guide to defect prevention – techniques to meet the demand for more reliable software. Microsoft Press

  Google Scholar 

• Milius S, Steinke U (2010) Modellbasierte softwareentwicklung mit SCADE in der eisenbahnautomatisierung. http://www.iti.cs.tu-bs.de/∼milius/research/modelbased.pdf. Accessed 24 August 2010

• Mohacsi S, Wallner J (2010) A hybrid approach for model-based random testing. VALID 2010, Nice, France

  Google Scholar 

• Mogyorodi G (2008) Requirements-based testing – ambiguity reviews. Testing Experience Magazine

  Google Scholar 

• Myers G (1979) The art of software testing. Wiley & Sons

  Google Scholar 

• Nielsen DS (1971) The cause consequence diagram method as a basis for quantitative accident analysis. Danish Atomic Energy Commission, RISO-M-1374

  Google Scholar 

• OMG (2010) UML superstructure reference. http://www.omg.org/spec/UML/2.1.2/Superstructure/PDF. Accessed April 2010

• Peischl B (2007) Standards for safety critical software: validation, verification, and testing requirements. SNA-TR-2007-1, Softnet-Report

  Google Scholar 

• Straden L, Trebbien-Nielsen C (2002) Standards for safety-related applications. Nordtest Technical Report.

  Google Scholar 

• Tretmans J (1996) Test generation with inputs, outputs and repetitive quiescence. Softw Concepts Tools 17(3):103-120

  MATH  Google Scholar 

• Tretmans J and Brinksma E (2003) Torx: automated model based testing. In: Hartman A, Dussa- Zieger K (eds) Proc First Eur Conf Model-Driven Softw Eng, Nurnburg, Germany

  Google Scholar 

• Tretmans J (2008) Model based testing with labelled transition systems. In: Hierons RM, Bowen JP, Harman M (eds) Formal methods and testing: an outcome of the FORTEST network. LNCS 4949. Springer-Verlag, Berlin, Heidelberg

  Google Scholar 

• Tuinhout R (2008) The boundary value fallacy. Testing Experience Magazine

  Google Scholar 

• Vegas S, Juristo N, Basili V (2006) Packaging experiences for improving testing technique selection. J Syst Softw 79:1606-1618

  Article  Google Scholar 

• Voas J M, McGraw G (1998) Software fault injection. Wiley Interscience

  Google Scholar 

• Whittaker J (2003) How to break software. Addison-Wesley

  Google Scholar 

Download references