News feed

Innehåll visas utifrån dina val

Om du inte hittar någon sida, schemahändelse eller nyhet på din kurswebb kan det bero på att du inte ser den kursomgången/gruppen inom kursen som innehållet tillhör.

Veta mer om din kurswebb

Din kurswebb är sidorna för en kurs du prenumererar på. Du väljer sedan vilka omgångar/grupper inom kursen du vill ha information från. Är du registrerad på en kursomgång sköts prenumeration och val av kursomgäng automatiskt åt dig. Vill du ändra något av detta gör du det under Mina inställningar.

När du är inloggad på din kurswebb ser du:
  • Kursöversikt, nyheter och schema med information som är filtrerat utifrån dina valda omgångar/grupper inom kursen
  • Allmänna sidor för hela kursen
  • Kurswikin som är sidor som alla, lärare och studenter, kan skapa och redigera
  • Sidor som hör till de omgångar/grupper inom kursen du valt eller som valts för dig

Log in to your course web

You are not logged in KTH, so we cannot customize the content.

In the News feed, you find updates for pages, schedule and posts from teachers (when aimed also at earlier registered students).

January 2021
under General

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.

.

 
November 2020
under
VT 2021 sofrel21
Scheduling staff created event 16 November at 14:15
 
under
VT 2021 sofrel21
Scheduling staff created event 16 November at 14:15
 
under
VT 2021 sofrel21
Scheduling staff created event 16 November at 14:15
 
under
VT 2021 sofrel21
Scheduling staff created event 16 November at 14:15
 
under
VT 2021 sofrel21
Scheduling staff created event 16 November at 14:15
 
under
VT 2021 sofrel21
Scheduling staff created event 16 November at 14:15
 
under
VT 2021 sofrel21
Scheduling staff created event 16 November at 14:15
 
under
VT 2021 sofrel21
Scheduling staff created event 16 November at 14:15
 
Feedback News