Are you a student that has questions regarding this course?
If you are registered for a current course round, ask your question in Canvas. You find your course round in Canvas from the Personal Menu, in a link below the course information. Example: HT17-1
If you are not registered, please contact your course- and student office or teachers for the course.
In the News feed, you find updates for pages, schedule and posts from teachers (when aimed also at earlier registered students).
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
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.
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.
.