Einführung in Testen von SW - CCG - Weßlinger See

Weßlinger See beleuchtet
von den letzten Sonnenstrahlen heute

CCG-Seminar in Weßling-Oberpfaffenhofen - Tag 4 

Grundlagen und Einführung in das Testen, Analysieren und Verifizieren von Software

•               Motivation und Begriffserklärung

•               Teststufen

•               Klassifikation von Testmethoden

Statisches Testen

•               Software Inspektionen und Reviews

•               Statische Code-Analysen

Dynamisches Testen

•               Strukturorientierter Test

•               Funktionsorientierter Test

•               Objektorientierter Test

Formale Verifikation

•               Begriffsklärung

•               Vorteile / Nachteile der formalen Verifikation

•               Aktueller Stand

Prof. Dr.-Ing. Peter Liggesmeyer

·       Inhaber des Lehrstuhls Software Engineering: Dependability am Fachbereich Informatik der TU Kaiserslautern

·       Institutsleiter am Fraunhofer-Institut Experimentelles Software Engineering (IESE) in Kaiserslautern

·       Sprecher der Fraunhofer-Allianz Embedded Systems

·       Vertrauensdozent der Studienstiftung des deutschen Volkes

·       Hochschulrat an der Hochschule Darmstadt