ETH Zuerich - Homepage
Information Security

Software Testing (251-1420-00L)

Master in Information Security

For more information about the Information Security Master Track visit:

Specialized Course, SS08

Lecturer: Dr. Alexander Pretschner

Class: 2V2U

Exams: oral exams, IFW C44, August 22nd and 25th.

Credits: 6

Language: English

Testing denotes activities that aim at increasing confidence that actual and intended behaviors of a system conform, or at proving the assumption of conformance wrong. The relevance of testing is reflected in the general experience that it makes for about one half of the overall development cost. We convey fundamental concepts, techniques and assumptions as well as published evidence.

Modules taught:

A. Introduction
- Relevance
- Terminology and fundamental concepts
- Testing in the software development process
- Kinds of testing
- Cost vs. quality
B. Requirements-Based and Combinatorial Testing
- Cause-Effect Graphs
- Category-Partition Method
- Combinatorial testing
C. White-Box Testing
C.1 Testing based on control flow and conditions
- Coverage of statements, branches, conditions, and loops
- Subsumption
- Empirical evidence
C.2 Testing based on data flow
- Intraprocedural data flows
- Interprocedural data flows
- Empirical evidence
D. Random and Statistical Testing
D.1 Random Testing
- Analytical comparisons of random and partition-based testing: the models of Weyuker&Jeng and Gutjahr
D.2 Statistical Testing
- Operational Profiles
- Just Right Reliability
- Markov models
- Reliability growth
E. Model-Based Testing
- Models and Abstraction
- Scenarios
- Generation Technology
- Cost Effectiveness, assumptions, and empirical evidence
F. State-based testing and testing OO software
- State-based testing
- Testing with inheritance
- Testing with polymorphism
G. Miscellaneous
- Fault injection and mutation testing
- Alternative approaches to QA
- Test specification languages
H. Invited Talk: Dr. Tom Sprenger, AdNovum
Testing - the Key to an Efficient and Predictable Software Engineering Process
Abstract, slides


Unfortunately, there is not one single book that covers all the material. The following books cover most parts; more references and links to research papers will be given in class.

Course Material


Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren. Weitere Informationen finden Sie auf
folgender Seite.

Important Note:
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest you upgrade to a newer browser.
More information

© 2011 ETH Zurich | Imprint | Disclaimer | 26 June 2008