Module CS4139 T

Duration

1 Semester

Turnus of offer

each summer semester

Credit points

6

Course of studies, specific fields and terms:

• Master Computer Science 2019, module part, Module part
• Master MES 2020, module part, computer science / electrical engineering
• Master Entrepreneurship in Digital Technologies 2020, module part, Module part
• Master Entrepreneurship in Digital Technologies 2014, module part, Module part
• Master MES 2014, module part, computer science / electrical engineering
• Master Computer Science 2014, Module part of a compulsory module, Module part

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

Teacher:

• Institute of Software Technology and Programming Languages
• Prof. Dr. Martin Leucker

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:

Last Updated:

27.11.2019