HSST 2013
Third Halmstad Summer School on Testing
June 3 - June 5, 2013, Halmstad University, Sweden
Introduction
Software testing accounts for a major part of software development cost and effort, yet the current practice of software testing is often insufficiently structured and disciplined. There have been various attempts in the past decades to bring more rigor and structure into this field, resulting in several industrial-strength processes, techniques and tools for different levels of testing. The 3rd Halmstad Summer School on Testing provides an overview of the state of the art in testing, including theory, industrial cases, tools and hands-on tutorials by internationally-renowned researchers.
Slides and Examples
| Speaker | Slides / Notes | Examples |
|---|---|---|
| Corky Cartwright | Unit Testing with Java (pdf) Unit Testing with Java (ppt) | Unit Testing with Java Examples |
| John Hughes | Property-based testing with QuickCheck (pdf) QuickCheck in Industry (pdf) | QuickCheck Exercises (pdf) |
| Mohammad Mousavi | Model-Based Testing: An Intro (ppt) Model-Based Testing: An Intro (pdf) | |
| Rickard Nilsson | Hands On Scalacheck (pdf) | |
| Rex Page | Testing and Verification in ACL2 - Part I (pdf) Testing and Verification in ACL2 - Part II (pdf) | Exercises Demos |
| Jan Peleska and Wen-ling Huang | Model-Based Testing with RT-Tester (pdf) | Turn Indicator Model (pdf) |
| Walid Taha | Accurate Programming (pdf) Accurate Programming Notes (pdf) | APEx Examples |
Program
June 3 (9:00-17:00)
09:00-09:15 Arrival and Registration
09:15-09:30 Welcome, opening remarks (Walid Taha, Halmstad)
09:30-10:30 Introduction to Model-Based Testing (Mohammad Mousavi, Halmstad)
10:30-11:00 Coffee Break
11:00-12:30 Industrial-Strength Model-Based Testing with RT-Tester and its Methodology, Part I (Jan Peleska, Verified Systems International and University of Bremen)
12:30-14:00 Lunch Break
14:00-15:30 Industrial-Strength Model-Based Testing with RT-Tester and its Methodology, Part II (Wen-Ling Huang, University of Bremen)
15:30-16:00 Coffee Break
16:00-17:00 Closing the V - by going from V to DEL (Tony Larsson, Halmstad)
June 4 (9:00-17:30)
09:00-10:30 Testing Concurrent Java Programs, Part I (Corky Cartwright, Rice)
10:30-11:00 Coffee Break
11:00-12:30 Testing Concurrent Java Programs, Part II (Corky Cartwright, Rice)
12:30-14:00 Lunch Break
14:00-15:30 Testing and Verifying Software Properties with ACL2 and ProofPad, Part I (Rex Page, Oklahoma)
15:30-16:00 Coffee Break
16:00-17:30 Testing and Verifying Software Properties with ACL2 and ProofPad, Part II (Rex Page, Oklahoma)
June 5 (9:00-17:30)
09:00-10:30 Accurate Programming Using ScalaCheck (Walid Taha, Halmstad)
10:30-11:00 Coffee Break
11:00-12:30 Hands-on ScalaCheck (Rickard Nilsson, Lund)
12:30-14:00 Lunch Break
14:00-15:30 Property-based testing with QuickCheck, Part I (John Hughes, QuviQ and Chalmers)
15:30-16:00 Coffee Break
16:00-17:30 Property-based testing with QuickCheck, Part II (John Hughes, QuviQ and Chalmers)
