Till KTH:s startsida Till KTH:s startsida

Gruppwebben som samarbetsyta stängs 31 december 2026. Du som administratör behöver nu exportera gruppens innehåll och/eller radera gruppen.

Observera: Från och med den 1 oktober 2026 kommer delar av gruppwebben som inte längre används, successivt att stängas ned, exempelvis gruppwebbar som redan har flyttats eller varit inaktiva under en längre tid.

Mer information hittar du i nyheten: Gruppwebben och Social stänger hösten 2026. Stöd och instruktioner för hur du exporterar en gruppwebb finns i: Gruppwebben som samarbetsyta stängs hösten 2026.

Course Literature

Course Book

P. Ammann and J. Offutt, Introduction to Software Testing, Cambridge University Press, 2nd Edition, 2017, ISBN 978-1-107-17201-2. The chapters and sections which are important to read are highlighted in my lecture notes .

Additional literature

You may like to do further background reading, during the course or at a later date (e.g. in your first testing job).

A highly recommended complement to Ammann and Offutt (but not necessary for the course) is:

R. Bierig, S. Brown, E. Galvan and J. Timoney, Essentials of Software Testing, Cambridge University Press, 1st edition, 2022.

The strength of this book is its hands-on approach to show you how to apply the most basic theoretical approaches, such as: boundary value, partition and random testing in real life.

The following texts can also be recommended for more specialist testing topics:

Links

Lecture 1: An IEEE survey of software failures in 2018. How many of these could have been avoided by better testing?

Lecture 1: Here is an interesting youtube video about the Toyota unintended acceleration case by Phil Koopman

Lecture 3: Here is a link to a JUnit tutorial on Tutorialspoint.

Lecture 4, Lab 2: Here is an interesting youtube video about JML. Here is a very detailed tutorial about JML. Here is a link to the UML syntax.

.

Lärare Karl Meinke skapade sidan 19 november 2013

Karl Meinke taggade med literature. 19 november 2013

Lärare Karl Meinke ändrade rättigheterna 10 november 2016

Kan därmed läsas av alla och ändras av lärare.
En användare har tagit bort sin kommentar
kommenterade 17 januari 2017

A second edition of Introduction to Software Testing was released last month (see the webpage: https://cs.gmu.edu/~offutt/softwaretest/). The differences between the editions are described on page 13 and onwards in this pdf: http://assets.cambridge.org/97811071/72012/frontmatter/9781107172012_frontmatter.pdf

Which edition is preferred for this course? Kårbokhandeln only has the first edition, but the second edition is available from Adlibris: http://www.adlibris.com/se/bok/introduction-to-software-testing-9781107172012

Anmäl missbruk
Lärare kommenterade 17 januari 2017

There is a second edition of this book. I am still waiting for a copy from the publishers so I have not seen it to comment.

It is usually best to get the latest edition of any book.

Anmäl missbruk
kommenterade 27 januari 2017

Post about Oracle Testing, an introduction to the Oracle Problem.

http://kaner.com/?p=190

Anmäl missbruk
Karl Meinke redigerade 9 januari 2019

Course Book P. Ammann and J. Offutt, Introduction to Software Testing, Cambridge University Press, 2nd Edition, 2017, ISBN 978-1-107-17201-2

Additional literature You may like to do further background reading, during the course or at a later date. The following texts can be recommended:


* G. Fraser et al., Testing with model checkers: a Survey, 2007.
* Model-based testing: M. Utting and B. Legeard, Practical Model-Based Testing: a Tools Approach, Morgan Kaufmann, 2007.
* Context-driven school of testing: C. Kaner, J. Bach, B. Pettichord, Lessons Learned in Software Testing, a Context-Driven Approach, Wiley, 2001.
* Quality school of testing: E. Kit, Software Testing in the Real World, Addison Wesley, 1995.
* Standards school of testing: W. Hetzel, The Complete Guide to Software Testing, Wiley, 1993.
* Agile school of testing: L. Crispin and J. Gregory, Agile Testing: A Practical Guide for Testers and Agile Teams, Addison Wesley, 2009.
Links

A survey of software failures in 2018. How many of these could have been avoided by better testing?¶

 Here is a link to the JML syntax definition.

Here is a nice youtube video about the Toyota unintended acceleration case by Phil Koopman

https://www.youtube.com/watch?v=NCTf7wT5WR0

.

Karl Meinke redigerade 22 januari 2021

Course Book P. Ammann and J. Offutt, Introduction to Software Testing, Cambridge University Press, 2nd Edition, 2017, ISBN 978-1-107-17201-2. As a KTH student, you should be able to download a free .pdf copy of this from KTH Library.

Additional literature You may like to do further background reading, during the course or at a later date. The following texts can be recommended:


* Y. Lei et al. IPOG: A General Strategy for T-Way Software Testing, ECBS '07, IEEE.
* G. Fraser et al., Testing with model checkers: a Survey, 2007.
* Model-based testing: M. Utting and B. Legeard, Practical Model-Based Testing: a Tools Approach, Morgan Kaufmann, 2007.
* Context-driven school of testing: C. Kaner, J. Bach, B. Pettichord, Lessons Learned in Software Testing, a Context-Driven Approach, Wiley, 2001.
* Quality school of testing: E. Kit, Software Testing in the Real World, Addison Wesley, 1995.
* Standards school of testing: W. Hetzel, The Complete Guide to Software Testing, Wiley, 1993.
* Agile school of testing: L. Crispin and J. Gregory, Agile Testing: A Practical Guide for Testers and Agile Teams, Addison Wesley, 2009.
* Code Coverage and Test Automation: State of the Art, Karl Meinke, 2020
 Links

Lecture 1: An IEEE survey of software failures in 2018. How many of these could have been avoided by better testing?

Lecture 1: Here is an interesting youtube video about the Toyota unintended acceleration case by Phil Koopman

Lecture 3: Here is a link to a JUnit tutorial on Tutorialspoint.

Lecture 4, Lab 2: Here is a detailed tutorial about JML. Here is a link to the JML syntax definition.

.

Karl Meinke redigerade 11 januari 2023

Course Book P. Ammann and J. Offutt, Introduction to Software Testing, Cambridge University Press, 2nd Edition, 2017, ISBN 978-1-107-17201-2. As a KTH student, you should be able to download a free .pdf copy of this from KTH Library.

Additional literature You may like to do further background reading, during the course or at a later date. The following texts can be recommended:


* Y. Lei et al. IPOG: A General Strategy for T-Way Software Testing, ECBS '07, IEEE.
* G. Fraser et al., Testing with model checkers: a Survey, 2007.
* Model-based testing: M. Utting and B. Legeard, Practical Model-Based Testing: a Tools Approach, Morgan Kaufmann, 2007.
* Context-driven school of testing: C. Kaner, J. Bach, B. Pettichord, Lessons Learned in Software Testing, a Context-Driven Approach, Wiley, 2001.
* Quality school of testing: E. Kit, Software Testing in the Real World, Addison Wesley, 1995.
* Standards school of testing: W. Hetzel, The Complete Guide to Software Testing, Wiley, 1993.
* Agile school of testing: L. Crispin and J. Gregory, Agile Testing: A Practical Guide for Testers and Agile Teams, Addison Wesley, 2009.
* Code Coverage and Test Automation: State of the Art, Karl Meinke, 2020
Links

Lecture 1: An IEEE survey of software failures in 2018. How many of these could have been avoided by better testing?

Lecture 1: Here is an interesting youtube video about the Toyota unintended acceleration case by Phil Koopman

Lecture 3: Here is a link to a JUnit tutorial on Tutorialspoint.

Lecture 4, Lab 2: Here is an interesting youtube video about JML. Here is a very detailed tutorial about JML. Here is a link to the JML syntax definition.

.

Karl Meinke redigerade 12 januari 2023

Course Book P. Ammann and J. Offutt, Introduction to Software Testing, Cambridge University Press, 2nd Edition, 2017, ISBN 978-1-107-17201-2. As a KTH student, you should be able to download a free .pdf copy of this from KTH library.

Additional literature You may like to do further background reading, during the course or at a later date. (e.g. in your first testing job).¶

A highly recommended complement to Ammann and Offutt is:¶

R. Bierig, S. Brown, E. Galvan and J. Timoney, Essentials of Software Testing, Cambridge University Press, 1st edition, 2022. ¶

The strength of this book is its hands-on approach to show you how to apply the most basic theoretical approaches, such as: boundary value, partition and random testing in real life.¶



 The following texts can also be recommended for more specialist testing topics:


* Y. Lei et al. IPOG: A General Strategy for T-Way Software Testing, ECBS '07, IEEE.
* G. Fraser et al., Testing with model checkers: a Survey, 2007.
* Model-based testing: M. Utting and B. Legeard, Practical Model-Based Testing: a Tools Approach, Morgan Kaufmann, 2007.
* Context-driven school of testing: C. Kaner, J. Bach, B. Pettichord, Lessons Learned in Software Testing, a Context-Driven Approach, Wiley, 2001.
* Quality school of testing: E. Kit, Software Testing in the Real World, Addison Wesley, 1995.
* Standards school of testing: W. Hetzel, The Complete Guide to Software Testing, Wiley, 1993.
* Agile school of testing: L. Crispin and J. Gregory, Agile Testing: A Practical Guide for Testers and Agile Teams, Addison Wesley, 2009.
* Code Coverage and Test Automation: State of the Art, Karl Meinke, 2020
Links

Lecture 1: An IEEE survey of software failures in 2018. How many of these could have been avoided by better testing?

Lecture 1: Here is an interesting youtube video about the Toyota unintended acceleration case by Phil Koopman

Lecture 3: Here is a link to a JUnit tutorial on Tutorialspoint.

Lecture 4, Lab 2: Here is an interesting youtube video about JML. Here is a very detailed tutorial about JML. Here is a link to the JML syntax definition.

.

Karl Meinke redigerade 30 januari 2023

Course Book P. Ammann and J. Offutt, Introduction to Software Testing, Cambridge University Press, 2nd Edition, 2017, ISBN 978-1-107-17201-2. As a KTH student, you should be able to download a free .pdf copy of this from KTH library.

Additional literature You may like to do further background reading, during the course or at a later date (e.g. in your first testing job).

A highly recommended complement to Ammann and Offutt (but not necessary for the course) is:

R. Bierig, S. Brown, E. Galvan and J. Timoney, Essentials of Software Testing, Cambridge University Press, 1st edition, 2022.

The strength of this book is its hands-on approach to show you how to apply the most basic theoretical approaches, such as: boundary value, partition and random testing in real life.

The following texts can also be recommended for more specialist testing topics:


* Y. Lei et al. IPOG: A General Strategy for T-Way Software Testing, ECBS '07, IEEE.
* G. Fraser et al., Testing with model checkers: a Survey, 2007.
* Model-Based Testing Essentials - Guide to the ISTQB Certified Model-Based Tester: Foundation Level, Model-based testing: Kramer, Anne ; Legeard, Bruno ; Bazzana, Gualtiero ; Binder, Robert V, John Wiley and Sons, 2016, download a free .pdf copy of this from KTH library.
* Context-driven school of testing: C. Kaner, J. Bach, B. Pettichord, Lessons Learned in Software Testing, a Context-Driven Approach, Wiley, 2001.
* Quality school of testing: E. Kit, Software Testing in the Real World, Addison Wesley, 1995.
* Standards school of testing: W. Hetzel, The Complete Guide to Software Testing, Wiley, 1993.
* Agile school of testing: L. Crispin and J. Gregory, Agile Testing: A Practical Guide for Testers and Agile Teams, Addison Wesley, 2009.
* Code Coverage and Test Automation: State of the Art, K. Meinke, 2021
Links

Lecture 1: An IEEE survey of software failures in 2018. How many of these could have been avoided by better testing?

Lecture 1: Here is an interesting youtube video about the Toyota unintended acceleration case by Phil Koopman

Lecture 3: Here is a link to a JUnit tutorial on Tutorialspoint.

Lecture 4, Lab 2: Here is an interesting youtube video about JML. Here is a very detailed tutorial about JML. Here is a link to the JUML syntax definition.

.