Test- und Analyseverfahren zur Software-Verifikation und Validierung (Prüfungsordnungsmodul)5 ECTS
(englische Bezeichnung: Test- und Analyseverfahren zur Software-Verifikation und Validierung)

Die Beschreibung eines Prüfungsordnungsmoduls enthält allgemeine Angaben zur Verwendbarkeit und zu den Rahmenbedingungen für Prüfungen, so wie sie in den Prüfungsordnungen festgelegt sind. Zusätzlich kann eine allgemeine Modulbeschreibung, die übergreifend für alle konkreten (UnivIS-)Module gilt, enthalten sein. Die konkreten Modulbeschreibungen mit Angaben zu den Lehrveranstaltungen und Prüfungsdetails sind unter den zugeordneten UnivIS-Modulen zu finden.

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

1. 123#67#H
   (Po-Vers. 2008 | TechFak | Computational Engineering (Master of Science with Honours) | Gesamtkonto | Wahlpflichtbereich Informatik | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
2. 123#67#H
   (Po-Vers. 2008 | TechFak | Computational Engineering (Master of Science with Honours) | Gesamtkonto | Wahlpflichtbereich Technisches Anwendungsfach | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
3. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science)
   (Po-Vers. 2008 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science) | Gesamtkonto | Wahlpflichtbereich Informatik | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
4. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science)
   (Po-Vers. 2008 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science) | Gesamtkonto | Wahlpflichtbereich Technisches Anwendungsfach | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
5. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Software Engineering | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
6. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsrichtung Software Engineering | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
7. Informatik (Bachelor of Science)
   (Po-Vers. 2007 | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Praktika und Wahlpflichtbereich (5. / 6. Semester) | Wahlpflichtmodule | Vertiefungsmodul Software Engineering | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
8. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Software Engineering | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
9. Informatik (Bachelor of Science)
   (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Software Engineering | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
10. Informatik (Master of Science)
    (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Wahlpflichtbereich | Säule der softwareorientierten Vertiefungsrichtungen | Vertiefungsrichtung Software Engineering | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
11. Information and Communication Technology (Master of Science)
    (Po-Vers. 2019s | TechFak | Information and Communication Technology (Master of Science) | Gesamtkonto | Pflicht- und Wahlpflichtmodule der Studienschwerpunkte | Schwerpunkt Embedded Systems | Wahlpflichtmodul aus INF im Schwerpunkt Embedded Systems | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
12. Informations- und Kommunikationstechnik (Master of Science)
    (Po-Vers. 2010 | TechFak | Informations- und Kommunikationstechnik (Master of Science) | Gesamtkonto | Schwerpunkte im Masterstudium | Schwerpunkt Eingebettete Systeme | Wahlpflichtmodule | Wahlpflichtmodul aus INF im Schwerpunkt Eingebettete Systeme | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
13. Informations- und Kommunikationstechnik (Master of Science)
    (Po-Vers. 2010 | TechFak | Informations- und Kommunikationstechnik (Master of Science) | Gesamtkonto | Schwerpunkte im Masterstudium | Schwerpunkt Realisierung von Informations- und Kommunikationssystemen | Wahlpflichtmodule | Wahlpflichtmodul aus INF im Schwerpunkt Realisierung von Informations- und Kommunikationssystemen | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
14. Informations- und Kommunikationstechnik (Master of Science)
    (Po-Vers. 2016s | TechFak | Informations- und Kommunikationstechnik (Master of Science) | Gesamtkonto | Schwerpunkte im Masterstudium | Schwerpunkt Eingebettete Systeme | Wahlpflichtmodule | Wahlpflichtmodul aus INF im Schwerpunkt Eingebettete Systeme | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
15. International Information Systems (IIS) (Master of Science)
    (Po-Vers. 2014w | ReWiFak | International Information Systems (IIS) (Master of Science) | Alte Prüfungsordnungen | Informatics | Informatics Electives | Software Engineering II | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
16. International Information Systems (IIS) (Master of Science)
    (Po-Vers. 2017w | ReWiFak | International Information Systems (IIS) (Master of Science) | Gesamtkonto | Informatics | Informatics Electives | Software Engineering II | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
17. International Information Systems (IIS) (Master of Science)
    (Po-Vers. 2018w | ReWiFak | International Information Systems (IIS) (Master of Science) | Informatics | Electives (Informatics) | Architectures and development (Informatics - Elective) | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
18. Mathematik (Bachelor of Science)
    (Po-Vers. | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Software Engineering | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
19. Mathematik (Bachelor of Science)
    (Po-Vers. 2019w | NatFak | Mathematik (Bachelor of Science) | weitere Module der Bachelorprüfung | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Software Engineering | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
20. Medizintechnik (Master of Science)
    (Po-Vers. 2013 | TechFak | Medizintechnik (Master of Science) | Studienrichtung Medizinische Bild- und Datenverarbeitung | M5 Medizintechnische Vertiefungsmodule (BDV) | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
21. Medizintechnik (Master of Science)
    (Po-Vers. 2018w | TechFak | Medizintechnik (Master of Science) | Studienrichtung Medizinische Bild- und Datenverarbeitung | M5 Medizintechnische Vertiefungsmodule (BDV) | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
22. Medizintechnik (Master of Science)
    (Po-Vers. 2019w | TechFak | Medizintechnik (Master of Science) | Modulgruppen spezifisch nach Studienrichtungen | Studienrichtung Medizinische Bild- und Datenverarbeitung | M5 Medizintechnische Vertiefungsmodule (BDV) | Test- und Analyseverfahren zur Software-Verifikation und Validierung)
23. Medizintechnik (Master of Science)
    (Po-Vers. 2019w | TechFak | Medizintechnik (Master of Science) | Modulgruppen spezifisch nach Studienrichtungen | Study Field Health and Medical Data Analytics | M5 Medical Engineering specialisation modules (HMDA) | Test- und Analyseverfahren zur Software-Verifikation und Validierung)

Studien-/Prüfungsleistungen:

Test- und Analyseverfahren zur Software-Verifikation und Validierung (Prüfungsnummer: 32001)
(englische Bezeichnung: Testing and Analytical Procedures in Software Verification and Validation)

Prüfungsleistung, mündliche Prüfung, Dauer: 30 min, Drittelnoten (mit 4,3), 5 Leistungspunkte

Anteil an der Berechnung der Modulnote: 100.0 %

UnivIS-Module:

UnivIS-Module im aktuellen Semester (WS 2020/2021):

• Test- und Analyseverfahren zur Softwareverifikation und -Validierung (5 ECTS, Saglietti, F.)