Software Testing

Beschreibung

The course targets Master students in computer science or related
programs. We expect participants to already have experience in
programming and basic knowledge about software engineering.

This course introduces basic terms used in the area of software
testing and looks into the process of test-case and test-suite
generation. To this end, the course discusses the test oracle problem,
i.e., whether or when a test is successful and the result of a test is
expected. Also, the course covers different manual and automatic
approaches for input generation, thereby distinguishing between
black-, grey-, and whitebox techniques. Furthermore, the course
compares various metrics to judge the adequacy of test suites. In
addition, the course studies the issue of regression testing. While
the focus of the course is on testing functional behavior, it may also
cover testing techniques for robustness or security and may look into
GUI testing.

At the end of the course, you should be able to

  • explain basic testing terms
  • describe the test oracle problem
  • explain approaches how to make correctness requirements, i.e., the
    expected test outcomes, executable and formulate automatically
    checkable correctness requirements for requirements given in natural
    language
  • name and explain the studied input generation techniques and apply
    them to example programs
  • name, define, explain and distinguish the studied adequacy criteria
    for test suites, apply adequacy criteria to given test suites, and
    compare test suites based on adequacy criteria
  • describe techniques for regression testing and apply them to examples
  • discuss advantages, disadvantages, and limitations of the studied
    techniques
Institut
Institut für Informatik
Dozent:in
Assistent:in
Kursteilnehmer:innen
222
Anmeldung

Sa 01 Apr 2023 00:00 – Sa 30 Sep 2023 23:59

Abmeldung nur bis Sa 30 Sep 2023 23:59

Material

Das Kursmaterial ist nur für Mitglieder des Kurses einsehbar, also z.B. für Teilnehmer:innen, Tutor:innen, Korrektor:innen und Verwalter:innen.

Prüfungen
NameAnmeldung abAnmeldung bisTerminPrüfungsanmeldung
Di 06 Jun 2023 11:45
Fr 21 Jul 2023 23:59
Di 01 Aug 2023 16:00 – 18:00
Nicht zur Prüfung angemeldet
Mi 06 Sep 2023 14:30
Mi 27 Sep 2023 14:30
Mo 02 Okt 2023 14:00 – 16:00
Nicht zur Prüfung angemeldet
Termine
ArtZeitRegulärer RaumNotiz
Lecture
  • Di 10:15–11:45
Geschw.-Scholl-Pl. 1 (A) - A U113
Exercise
  • Do 16:00–17:00
Amalienstr. 73A - 018