Program Testing and Analysis

Quick Facts

Lecturer     Dr. Michael Pradel
Teaching assistantsMarina Billes, Andrew Habib, Jibesh Patra, Marija Selakovic, Cristian-Alexandru Staicu
Course typeIntegrated course
TimeMonday, 9:50--11:30
LocationS101/A4
TUCAN entry20-00-0933-iv
PiazzaClass page

 

Content

This course introduces the principles and practice of testing and analyzing large software systems. The course provides an overview of program analysis and covers two topics in more detail: Test generation, i.e., techniques for automatically creating inputs to execute a program, and dynamic analysis, i.e., techniques for reasoning about the runtime behavior of a program. In addition to weekly lectures, students will deepen their understanding through a practical course project (implement a program analysis based on an existing framework) and acquire research skills by writing a term paper. Besides academic achievements, the course will help students to improve their programming skills by learning about common sources of mistakes and about techniques to find them. Grading will be based on a final exam, the course project, and the term paper.

 

Schedule

This is a preliminary schedule that may change.

Date     Topic     Material     Deadlines and special events
Oct 17, 2016Introduction; Basicsslides and notes
Oct 24, 2016Operational semantics 1

slides and notes

Fernandez' book

Pitts' lecture notes

Oct 31, 2016Operational semantics 2slides and notes

Register teams for project and choose topics


Choose topics for term paper

Nov 7, 2016Manual testing

slides and notes (part 1)

slides and notes (part 2)

Pezze and Young's book

Nov 14, 2016Random and fuzz testing

slides and notes (part 1)

slides and notes (part 2)

Randoop

ARTOO

LangFuzz

Nov 21, 2016Symbolic and concolic testing

slides and notes (part 1)

slides and notes (part 2)

DART

KLEE

SAGE

Nov 28, 2016GUI Testing

slides and notes

Artemis

SwiftHand

EventBreak

Dec 5, 2016

Testing concurrent programs

slides and notes (part 1)

slides and notes (part 2)

Eraser

Chess

ConTeGe

Dec 12, 2016(no lecture)

questions

solutions

Mid-term "exam" (not mandatory)
Dec 19, 2016Program slicing

slides and notes (part 1)

slides and notes (part 2)

Weiser

Dynamic slicing

Thin slicing

Jan 9, 2017Information flow analysis

slides and notes

Denning

Dytan

Austin & Flanagan

Term papers for peer review
Jan 16, 2017Specification mining

slides and notes (part 1)

slides and notes (part 2)

Daikon

Ammons et al.

PR-Miner

Jan 23, 2017Performance profiling

slides

Mytkowicz et al.

Empirical complexity

Memory bloat

Jan 30, 2017Path profiling

slides and notes

Ball-Larus

Whole program

HOLMES

Reviews for term papers
Feb 6, 2017No lecture (project presentations)Presentation of projects
Feb 20, 2016Projects and final term papers

TBD

questions

solutions

Final exam

 

Questions, quizzes, and additional information

We are using Piazza for class discussion, in-class quizzes, and for sharing additional material. The system is highly catered to getting you help fast and efficiently from classmates and instructors. Rather than emailing questions to the teaching staff, please post your questions on Piazza.

Find our class page at: http://piazza.com/tu-darmstadt.de/fall2016/20000933iv/home

 

Term Paper and Project Report

For writing term papers and project reports, please use this LaTeX template.

 

Grading

Grading will be based on the course project, the term paper, and the final exam (33% each). We also provide a non-mandatory mid-term "exam", which allows students to obtain extra credits that can improve the overall grade by up to 10%.

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact | Webseitenanalyse: Mehr Informationen
zum Seitenanfangzum Seitenanfang