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: 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 |
für die Ukraine