Slawek: Created page with "NOTOC =Third Halmstad Summer School on Testing= '''June 3 - June 5, 2013, Halmstad University, Sweden''' ==Introduction== Software testing accounts for a major part of..."

2014-06-23T09:16:11Z

Created page with "__NOTOC__ =Third Halmstad Summer School on Testing= '''June 3 - June 5, 2013, Halmstad University, Sweden''' ==Introduction== Software testing accounts for a major part of..."

New page

__NOTOC__

=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==

{| class="wikitable"
|-
! Speaker !! Slides / Notes !! Examples
|-
| Corky Cartwright || [[media:unit_testing_java.pdf|Unit Testing with Java (pdf)]] [[media:unit_testing_java.ppt|Unit Testing with Java (ppt)]] || [[media:unit_testing_java_examples.zip|Unit Testing with Java Examples]]
|-
| John Hughes || [[media:prop_testing_qcheck.pdf|Property-based testing with QuickCheck (pdf)]] [[media:qcheck_in_industry.pdf| QuickCheck in Industry (pdf)]] || [[media:qcheck_exercises.pdf| QuickCheck Exercises (pdf)]]
|-
| Mohammad Mousavi || [[media:mbt_intro.pptx|Model-Based Testing: An Intro (ppt)]] [[media:mbt_intro.pdf|Model-Based Testing: An Intro (pdf)]] ||
|-
| Rickard Nilsson || [[media:hands_on_scala.pdf|Hands On Scalacheck (pdf)]] ||
|-
| Rex Page || [[media:testing_verification_acl2_1.pdf|Testing and Verification in ACL2 - Part I (pdf)]] [[media:testing_verification_acl2_2.pdf|Testing and Verification in ACL2 - Part II (pdf)]] || [[media:acl2_examples.zip|Exercises]] [[media:acl2_demos.zip|Demos]]
|-
| Jan Peleska and Wen-ling Huang || [[media:mbt_rt_tester.pdf|Model-Based Testing with RT-Tester (pdf)]] || [[media:turn_indicator_model.pdf|Turn Indicator Model (pdf)]]
|-
| Walid Taha || [[media:accurate_programming_slides.pdf|Accurate Programming (pdf)]] [[media:accurate_programming_notes.pdf|Accurate Programming Notes (pdf)]] || [[media:apex_examples.zip|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)

HSST 2013 - Revision history

Slawek: Created page with "__NOTOC__ =Third Halmstad Summer School on Testing= '''June 3 - June 5, 2013, Halmstad University, Sweden''' ==Introduction== Software testing accounts for a major part of..."

Slawek: Created page with "NOTOC =Third Halmstad Summer School on Testing= '''June 3 - June 5, 2013, Halmstad University, Sweden''' ==Introduction== Software testing accounts for a major part of..."