Upload
esmond-maxwell
View
214
Download
0
Embed Size (px)
Citation preview
Course Organization
Course Software Testing & Verification2014/15
Wishnu Prasetya
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 apply some of these theories and techniques in real problems.
2
What can you expect in this course?
• Foundation:– A quite technical foundation of software testing– A mathematical-based foundation of software
verification• background in set theory and predicate logic is needed!
• Project & assignments
3
Site & Materials
• www.cs.uu.nl/docs/vakken/pc
• Paul Ammann and Jeff Offutt, Introduction to Software Testing, Cambridge University Press, Cambridge, UK, ISBN 0-52188-038-1, 2008.
• Lecture Notes (see the website), for the program verification part.
4
Project & assignment
• Testing Project, in 2 iterations– work in teams of 2-3– Iter-1 : development, unit testing, white box
testing, testability– iter-2 : development, system testing, black/gray
box testing– each phase is closed by a demonstration
• Proving program correctness, in 2 iterations• Home works (4x)
5
Grading
• In total 6 components: project (2 iterations), proof (2 iterations), 2x exams
• raw = 0.95 * ( 0.3 * average project + 0.2 * average proof + 0.5 * average exams ) + max. 0.5pt from home work
• final = if average exams >= 3.5 then raw else capped at 5.4
• resit ... as in the OER (4.0 grade < 5.5)
6
What did we learn
7
Learning goal for testing
8
Know a selected set of basic concepts, theories, and techniques
of software testing
White box testing• control flow based testing• testing complex predicates• data flow-based testing
Black box testing • partition-based testing• model-based testing
integration testing
OO testing
Generating complex strings
Able to apply some of these theories and techniques in
real problems.
yes, projects on unit testing and system testing