University of Trento

Academic Year 2011-2012

Software Analysis and Testing

Paolo Tonella (tonella at fbk dot eu) , Mariano Ceccato (ceccato at fbk dot eu)

Alessandro Marchetto (marchetto at fbk dot eu) , Cu Duy Nguyen (cunduy at fbk dot eu)

Google Calendar   html   PDF


This course aims at teaching students how to analyze and test a software system, when it is evolved to accommodate a set of change requirements (e.g., adding new functionalities, bug fixing, adaptation or restructuring, etc.), by executing a software project which involves:

The project deliverables are listed below.






Introduction to the Course

Lecture notes and papers listed in the lecture notes bibliography.

Introduction to course project, eclipse, and jabref , Original Source Code , BibTeX examples

Lab1: Debugging exercises | Lab2: Cracking jabref code

Introduction to Acceptance and Unit Testing

Acceptance Testing with Fitnesse , Install and Run Fitnesse , exercises , solutions (Eclipse projects with examples of test cases implementation), exercises2

Design Acceptance Tests for the JabRef project

Introduction to GUI Testing , calculator example

GUI Testing Lab , swing calculator

Unit Testing with JUnit (3x and 4x) , exercises , solutions (Eclipse projects with examples of test cases implementation)

Coverage Testing With Clover ex3 math operators ex4 current account

Mutation Testing (Theory)

Mutation Testing Tools

Coverage Testing With CodePro Analytix

Test case prioritization

Laboratory of regression tesing , parsing library .

1st training on debugging , 2nd training on debugging .


The exam consists of an oral discussion of the project carried out during the laboratory and background theory questions.

  1. Eclipse project
  2. Project report

Project deadline : one week before the final exam date


Date Time Room
Jan 27, 2012 2:30pm 101 (FBK North building)
Feb 17, 2012 2:30pm 101 (FBK North building)
Jun 15, 2012 2:30pm 101 (FBK North building)
Jul 13, 2012 2:30pm 101 (FBK North building)
Sep 14, 2012 2:30pm 101 (FBK North building)

To register yourself for the exam, please, use the Web site ESSE 3

Last modified 12 Mar, 2012 by Paolo Tonella