Model-based testing (NSWI157)

Administrative Information

News

Slides

Syllabus

References

Administrative Information

Time and Location: Winter Semester 2017/2018
Lectures: Wednesday 10:40 S4
Lab: Friday 14:00 S11 (only odd weeks)
Guaranteed by: Department of Distributed and Dependable Systems
Winter Term: 2/1
Lecturer: Paolo Arcaini
e-mail: arcaini<at-sign>d3s.mff.cuni.cz
Information in SIS: NSWI157

News

Slides

Lectures

DateTopicSlides
4.10.2017 Introduction to testing, different kinds of testing, basic terminology lecture01.zip
11.10.2017 Theory of testing, coverage criteria, limits of testing lecture02.zip
18.10.2017 Structural and data-flow coverage criteria lecture03.zip
25.10.2017 Logic coverage (MC/DC) lecture04.zip
3.11.2017 Fault-based testing. Fault classes for Boolean expressions lecture05.zip
10.11.2017 Introduction to model-based testing lecture06.zip
15.11.2017 FSM-based testing (Conformance testing) lecture07.zip
22.11.2017 Test case generation using model checkers lecture08.zip
29.11.2017 Test case generation using model checkers (2) lecture09.zip
6.12.2017 Input space partitioning and combinatorial testing lecture10.zip
20.12.2017 Feature modeling and software product line testing lecture11.zip

Lab

DateTopicSlides
3.11.2017 Test generation for Boolean expressions using SMT solvers lab_lecture01.zip | lab_lecture01_assignments.zip | lab_lecture01_assignSol.zip
29.11.2017 Test case generation using NuSMV lab_lecture02.zip | lab_lecture02_assignments.zip | lab_lecture02_examples.zip
15.12.2017 Combinatorial testing with CitLab lab_lecture03.zip | lab_lecture03_examples.zip

Syllabus

  • Introduction to testing
    • Different kinds of testing
    • Basic concepts, limits of testing
  • Program-based testing
    • Coverage criteria: instruction, decision, and condition coverage
    • Logic Coverage
    • Fault-based testing
  • Model-based testing
    • Theory of model-based testing
    • FSM-based testing
    • Test case generation with model checkers
    • Input Space Partitioning and Combinatorial Testing
    • Feature modeling

References

  • M. Utting and B. Legeard. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2006.
  • P. Ammann and J. Offutt. Introduction to Software Testing (1 ed.). Cambridge University Press, New York, NY, USA, 2008.
  • M. Pezzè and M. Young. Software Testing and Analysis: Process, Principles and Techniques. John Wiley & Sons, 2005.

Software

Modified on 2017-12-20