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. 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:

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.

.

Teacher Karl Meinke created page 19 November 2013

Karl Meinke tagged with literature. 19 November 2013

Teacher Karl Meinke changed the permissions 10 November 2016

Kan därmed läsas av alla och ändras av lärare.
Anton Grensjö removed his/her comment
commented 17 January 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

Teacher commented 17 January 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.

commented 27 January 2017

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

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

Karl Meinke edited 9 January 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 edited 22 January at 14:05

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.

.

Feedback News