Written exam (in case of a small number of participants: oral tests)

Most industrial systems are no longer conceivable without software. Particularly in safety-relevant areas, such as automotive or aircraft construction, software systems are increasingly being used. Classical hardware-dominated systems are gradually being replaced by software-dominated systems. The design of these software systems represents an ever increasing challenge for system developers. Growing time pressure, higher demands on correctness and increasing system complexity make software development a complex task. This inevitably increases the potential for errors. For this reason, the testing of software systems is becoming more and more important. In this lecture the basics for testing, debugging and verifying software systems are described. Main topics are among others: Quality management, function-oriented testing, coverage analysis techniques (coverage methods), input space partitioning, special testing techniques, software measurement, debugging, formal techniques, testing strategies, and testing embedded software. The lecture covers not only the theoretical basics of the listed topics, but also emphasizes the industrial practical relevance. All areas covered can be directly applied in the industrial software environment. Furthermore, the two lecturers Dr. Jürgen Ruf (Bosch Sensortec) and Prof. Dr. Thomas Kropf (Bosch), who both come from industry, bring a lot of practical experience with them and want to convey this to the students in the lecture. The lecture is based, among other things, on current research topics of the "Safety Critical Systems Group" of the Computer Engineering Department.

The students know basic principles and working techniques for ensuring high software quality and can critically question them. In addition to testing and verification, this also includes process models for software development. They are able to use analysis and test methods to increase software quality.

• Liggesmeyer, P.: Software-Qualität: Testen, Analysieren und Verifizieren
von Software
• Ammann, P; Offutt, J.: Introduction to Software Testing