MBT: Model-Based Testing

Study period 4, 2012
Tue 13 March - Wed 16 May, 2012
Course codes: DIT848/GU and TDA260/Chalmers, 7.5 hp

Given by Computer Science and Engineering at
Chalmers Technical University and The University of Gothenburg

• Home
• Lectures
• Literature
• Course description
• Assignments
• Examination

The recommended book for this course is:

• M. Utting and B. Legeard, Practical Model-Based Testing. Elsevier - Morgan Kaufmann Publishers, 2007. (An electronic version is available at http://bit.ly/wGlT94 - note that you must be logged in at Chalmers' network to get access to it.)

Note that the first part of the course does not follow any concrete book so it is difficult to point to specific parts of a book deadling with the content. However, as a suggestion you might want to take a look at the following books:

• P.C. Jorgensen. Software Testing: A Craftsman's Approach. Auerbach Publications, 3rd edition, 2008. (Mainly chapters 1 and 12.)
• I. Sommerville. Software Engineering (8th edition), Addison-Wesley, 2007. (Chapters 22 and 23.)

Lecture 7 will be based on the following paper (its reading is highly recommended):

• Harry Robinson. Graph Theory Techniques in Model-Based Testing. Presented at the 1999 International Conference on Testing Computer Software.

For the QuickCheck lectures, this is the recommended literature:

• QuickCheck 2.4.2 Cheat Sheet.
• Koen Claessen, John Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. ICFP'00: 268-279, 2000.
• Thomas Arts, Laura M. Castro, John Hughes. Testing Erlang data types with quviq quickcheck. In Erlang Workshop'08: 1-8, 2008. ACM.
• Laura M. Castro and Thomas Arts. Testing Data Consistency of Data-Intensive Applications Using QuickCheck. In Electronic Notes in Theoretical Computer Science, vol. 271: 41-62 (2011).
• Thomas Arts, Simon J. Thompson. From test cases to FSMs: augmented test-driven development and property inference. Erlang Workshop 2010: 1-12, 2010.
• Koen Claessen, Michal Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger. Finding race conditions in Erlang with QuickCheck and PULSE. In ICFP'09: 149-160, 2009.
• Bryan O'Sullivan, Don Stewart, and John Goerzen. Real World Haskell (only Chapter 11: Testing and quality assurance. Available online at http://book.realworldhaskell.org/read/testing-and-quality-assurance.html)

You will find below a list of other books and papers on testing. Their reading is not required for the course; the list is given only as a suggestion for further reading for those of you interested in the topic.

• P. Ammann and J. Offutt. Introduction to Software Testing. Cambridge, 2008.
• C. Kaner, J. Bach, B. Pettichord. Lessons Learned in Software Testing. Wiley (1st edition), 2001. ISBN: 978-0471081128
• R. Patton. Software Testing. Sams (2 edition), 2005. ISBN: 978-0672327988

• F. Wagner, R. Schmuki, T. Wagner and P. Wolstenholm. Modeling Software with Finite State Machines: A Practical Approach. Auerbach Publications, 2006. ISBN: 978-0849380860
• J. Hopcroft. R. Motwani and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Pearson Education, 2006. ISBN: 9780321514486 (Mainly Chapter 2)

• L. Baresi and M. Pezzè. An Introduction to Software Testing. In ENTCS vol. 148, pp. 89-111, 2006. Elsevier.
• A. Bertolino. Software testing research: achievement, challenges, dreams. In FOSE'07, pp. 85-103, 2007. IEEE Computer Society (Survey on testing and research roadmap)
• M.J. Rehman, F. Jabeen, A. Bertolino, and A. Pollini. Testing software components for integration: a survey of issues and techniques. In Softw. Test, Verif. Reliab. 17(2), pp. 95-133, 2007. (Survey on component integration testing)
• I.K. El-Far and J.A. Whittaker. Model-Based Software Testing. In Encyclopedia on Software Engineering, Wiley, 2001 (Survey on model-based testing)
• M. Blackburn, R. Busser, A. Nauman. Why Model-Based Test Automation is Different and What You Should Know to Get Started. Software Productivity Consortium, 2004 (Survey on automation of model-based testing)