University of Trento
Academic Year 2011-2012
Software Analysis and Testing
(tonella at fbk dot eu)
(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:
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.
Project deadline : one week before the final exam date
|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