Module CS3250-KP08

Duration

1 Semester

Turnus of offer

each winter semester

Credit points

8

Course of studies, specific fields and terms:

• Bachelor Computer Science 2019, optional subject, Canonical Specialization Web and Data Science
• Bachelor Computer Science 2019, optional subject, major subject informatics
• Bachelor Computer Science 2019, compulsory, Canonical Specialization SSE
• Bachelor Media Informatics 2020, optional subject, computer science
• Bachelor Computer Science 2016, optional subject, major subject informatics
• Bachelor Computer Science 2016, compulsory, Canonical Specialization SSE
• Bachelor IT-Security 2016, compulsory, IT-Security

Classes and lectures:

• Safe Software (exercise, 2 SWS)
• Safe Software (lecture, 4 SWS)

Workload:

• 90 hours in-classroom work
• 120 hours private studies
• 30 hours exam preparation

Contents of teaching:

• Measures for improving software safety
• Definition of central techniques such as static analysis, model checking, testing, runtime verification
• Techniques for program analysis
• Operation of model checkers
• Test procedures
• Verification at runtime
• Application of the techniques
• Theorem proving
• Tools

Qualification-goals/Competencies:

• The students can describe and classify measures for the improvement of software safety.
• They can explain the principles of central verification techniques.
• They can compare various methods for software testing.
• They can motivate the use of various techniques for improving software safety.
• They can assess the effect of these techniques on the safety of certain software.
• They are familiar with common tools for the verification of software and they can familiarize themselves with new developments.

Grading through:

• Written or oral exam as announced by the examiner

Requires:

• Theoretical Computer Science (CS2000-KP08, CS2000)
• Introduction to Logics (CS1002-KP04, CS1002)
• Software Engineering (CS2300-KP06, CS2300SJ14)

Responsible for this module:

• Prof. Dr. Martin Leucker

Teacher:

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

Literature:

• A.R. Bradley, Z. Manna : The Calculus of Computation Springer, 2007
• F. Nielson, H.R. Nielson, C. Hankin : Principles of Program Analysis Springer 2010
• 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:

01.02.2022