Website
Curriculum

Modul CS4139 T

Module part: Runtime Verification and Testing (RVTestena)

Duration:


1 Semester
Turnus of offer:


each summer semester
Credit points:


6
Course of studies, specific field and terms:
  • Master Computer Science 2019 (module part), Module part, Arbitrary semester
  • Master MES 2020 (module part), computer science / electrical engineering, Arbitrary semester
  • Master Entrepreneurship in Digital Technologies 2020 (module part), Module part, Arbitrary semester
  • Master Entrepreneurship in Digital Technologies 2014 (module part), Module part, Arbitrary semester
  • Master MES 2014 (module part), computer science / electrical engineering, 2nd semester
  • Master Computer Science 2014 (Module part of a compulsory module), Module part, Arbitrary semester
Classes and lectures:
  • Runtime Verification and Testnig (exercise, 1 SWS)
  • Runtime Verification and Testing (lecture, 3 SWS)
Workload:
  • 60 Hours in-classroom work
  • 100 Hours private studies and exercises
  • 20 Hours exam preparation
Contents of teaching:
  • Quality aspects of software systems
  • Analysis and verification techniques for software systems
  • Testing levels
  • Testing process
  • Kinds of tests
  • Test case generation
  • Specification of correctness properties
  • synthesis of monitors for the observation of software systems
  • diagnosis of errors in software systems
  • realization of monitoring frameworks
Qualification-goals/Competencies:
  • The students can describe and compare analysis and verification techniques.
  • They can construct, analyse and evaluate specifications of correctness and safety properties.
  • They can illustrate different techniques for testing hardware and software systems and can select and apply suitable techniques.
  • They can explain the operation process of test case generation tools and can clasify suitable applications.
  • They can describe and apply techniques for the synthesis of monitors.
  • With the acquired techniques they can develop software of higher quality.
Grading through:
  • exam type depends on main module
Responsible for this module:
  • Siehe Hauptmodul
Teachers:
Literature:
  • G.J. Myers: The Art of Software Testing - John Wiley, 1979
  • B. Beizer: Software Testing Techniques - Van Nostrand Reinhold, 1999
  • M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner: Model-Based Testing of Reactive Systems - Springer, 2005
  • A. Bauer, M. Leucker, C. Schallhart: Runtime Verification for LTL and TLTL - ACM TOSEM, 2011
  • C. Baier, J.-P. Katoen: Principles of Model Checking - MIT Press, 2008
  • D. Peled: Software Reliability Methods - Springer, 2001
Language:
  • English, except in case of only German-speaking participants
Notes:

(Is equal to CS4139)
(Part of Module CS4507)


Prerequisites for attending the module:
- None

Prerequisites for the exam:
- Successful completion of homework assignments during the semester.

Letzte Änderung:
27.11.2019