1. Course Software Testing & Verification 2017/18 Wishnu Prasetya
Course Organization
Course Software Testing & Verification
2017/18
Wishnu Prasetya

2. (top level) Learning Goals
Know a selected set of basic concepts, theories, and techniques of Software Testing and Software Verification They represent two complementary approaches towards software correctness : pragmatism vs completeness.
Able to relate these theories and techniques to real problems.

3. Learning Goals The kinds of “perspective” we will take:
An academic perspective towards software testing
A mathematical-based foundation of software verification
background in set theory and predicate logic is needed!
Not in scope:
practical aspects of software testing in a large project  covered in Software Project (bachelor)
automated algorithms  covered in Program Verification (master)

4. Site & Materials www.cs.uu.nl/docs/vakken/pc
Paul Ammann and Jeff Offutt, Introduction to Software Testing, Cambridge University Press, Cambridge, UK, ISBN , 2008.
Lecture Notes (see the website), for the program verification part.

5. Project & assignment Home works (3x) Testing Project, in 2 iterations
work in teams of 3 persons
Iter-1 : development, unit testing, white box testing
iter-2 : development, system testing.
each phase is closed by a demonstration
Proving program correctness assignment

6. Grading
In total 6 components: home works, project (2 iterations), proof (last iteration), 2x exams
All components except the home works are mandatory.
raw = if average exams ≥ then if 5.0 ≤ g ≤ 6.0 then g rounded to the closest int else if g>6.0 then g rounded to the closest else minimum(5,g)
g = min ( 10 , 0.3 * average project * proof * average exams max. 0.4pt from home work )
final = raw rounded to one decimal behind “.”
resit: 4.0  final  5 , or if final=AANV

7. Software
For the Project you need Visual Studio Enterprise. You can have it for free from Imagine/Dreamspark store, accessible through your solisid, from Intranet. This edition contains a test coverage analysis tool that you will need. There is also something called “IntelliTest” if you care to check it out.
You will have to bring your own laptop. The computers in the practicum zalen do not have VSE.

8. Team Wishnu Prasetya (lectures & lab sessions)
Cas van der Rest (TA: home work & Project)