Home
  • Deutsch (DE-CH-AT)
  • English (United Kingdom)
  • Japanese(JP)
Verifikation und Validation (V&V) PDF Print

Dozent: Prof. R. Dumke

dumke

Übungsleiterin: K. Richter

ina

 

Inhalt dieser Lehrveranstaltung sind die Methoden und Verfahren des Softwaretests einschließlich Model Checking und Programmanalyse sowie der Softwarevalidation mit dem Akzeptanztest und dem speziellen IV&V.

 

LV-Zeiten im Wintersemester 2011/12

Vorlesung Mi: 9 - 11 Uhr G29-307 Prof. Dumke
Übung Fr: 9 - 11 Uhr G29-K059 K. Richter

 

Links zum Vorlesungsinhalt und Lehrhilfen

 Contents: Faults, errors & failures; V&V and software development; software verification: reviews, inspections & wlakthroughs; unit & integration test (black box vs. white box testing); OO testing, testing of distributed systems, formal verification, verifiatuion of concurrency and object oriented systems; performance and stress test; software validation: acceptance testing, independent V&V; V&V life cycle and V&V management

Literatur zu V&V:
  • Fisher: Software Verification and Validation, Springer 2007
  • Beckert: Verification of Object-Oriented Software, Springer 2007
  • Burnstein: Practical Software Testing, Springer 2003
  • Binder: Testing Object-Oriented Systems, Addison Wesley 2000
  • Dumke: Software Engineering, Vieweg 2003
  • Herrmann: Software Safety and Reliability, IEEE Press 1999

vbild

Last Updated on Friday, 14 August 2015 11:37