Cours Génie Logiciel Automatisé - M2 IAGL 2014

by Martin Monperrus

Programme

Session 1: Source Code Transformation (OPL)

Papers:

Projects:

E1: Extraction of a dependency graph in Spoon similar to DependencyFinder.

E2: Implement a migrator from java.util.collections to Google Guava

E3: Implement a migrator from java.util.collections to Apache Commons Collection

H1: Spoon model on the fly: bridge a Java decompiler (e.g. Soot Dava) and Spoon so as to get a source code model at runtime

H2: Selective emulation for Java with BeanShell

A1: Implement a visitor combinator on top of Spoon

A2: Implement Robillard's exception analysis

A3: Implement some of Cohen's transformations in Spoon

Session 2: Crash Analysis (IDL)

Papers:

Projects:

T1: Develop core algorithm of P1

T2: Develop core algorithm of P2

T3: Develop core algorithm of P3

T4: Develop core algorithm of P4

T5: Develop core algorithm of P5

T6: Apply Java stack trace mining to a Stackoverflow dump and perform interesting statistics (code on Moodle)

T7: Develop new stack trace recognizers for your language of choice and apply them to a Stackoverflow dump, perform interesting statistics.

Session 3: Test Data Generation (OPL)

Papers:

Projects:

Project 1: Implement an example following P1

Project 2: Implement an example following P2

Project 3: Implement a simple GUI scenario generator (P3)

Project 4: Generate a map or bot generator for your favorite game (Alloy model + data generator from Alloy instances).

Session 4: Thème libre

Rendus exemplaires de 2014

Thème 1 (Analyse et transformation de code source):

Thème 2 (Analyse de crashes):

Thème 3 (Génération de données de test complexes):

Rendus libres:

Tagged as: 42? No: