Advanced Topics in Software Engineering - Software testing

  • June 13th: Please note that the exam date for next written paper have been anticipated to July 11th
  • June 13th: Dear students due to a concurrent meeting to which I have to attend please note that tomorrow lesson (June 14th) is canceled. Next and last lessons will be delivered on June 21st and 22sn.
  • May 24th: Dear students please note that tomorrow lesson (May 25th) is canceled
  • May 11th: Dear students please note that in today's lesson I provided the list of papers for the exam. You can select one of the paper, not already selected by someone else, sending an e-mail to me (FIFO policy). Presentations of papers will happen on July 5th and 6th.
  • May 8th: Dear students please note that next Wednesday lesson is canceled
  • April 25th: Dear students please note that this week lessons are canceled
  • April 18th: I would like to inform the students that tomorrow lesson will be delivered according to the usual schedule
  • April 10th, 2017: The lesson scheduled for next Wednesday at 11am is canceled, as consequence of the accidental overbooking of room AB1. Sorry for the inconvenience.
  • September 7th, 2016: The page course is on-line


Lessons schedule:

  • Wednesday, 11am-1pm, room AB1
  • Thursday, 4pm-6pm, room AB1

Office Hours :

  • Thursday 12pm - 1pm (better if you announce yourself via e-mail)

The course intends to provide to the students the basic knowledge and competences for testing complex software systems. The following topics will be covered:

  • Software Testing generalities
  • Software Testing phases
  • Test derivation strategies
  • Test adequacy assessment

The various conceptual aspects will be illustrated using examples and competences will be assessed with a course project that will require the usage of professional tools.

  • General Information [AM - Ch.1]
    • Basic of software testing
    • Software quality dimensions
    • Testing and other verification activities
    • Type of testing
  • Test Generation Strategies from Requirements [AM - Ch.3]
    • Equivalence partitioning
    • Boundary analysis
    • The Category Partition method
    • Cause-Effect graphs
    • Test generation from predicates
      • BOR,BRO, BRE adequate test sets
  • Test Generation from Finite-State Models [AM - Ch.4]
    • Finite State Machines (FSM)
    • Conformance testing
    • The W-Method
    • The partial W-Method
  • Test Generation from Combinatorial Design [AM - Ch.5]
  • Test Adequacy Assessment Using Control Flow and Data Flow [AM - Ch.7]
    • Control-Flow criteria
    • Data-Flow criteria
  • Unit and Integration Testing [AM - Ch.10-11]

Course Slides

  • Papers discussion - July 5th, 6th
  • Exercises - June 22nd


Exam Dates A.Y. 2016/2017

  • July 11th and 26th, 2017 - 11am-1pm, room AB1
  • September 13th and 27th, 2017 - 11am-1pm, room AB1
  • February 14th and 28th, 2018 - 11am-1pm, room AB1

Exam rules:

The exam consist of three papers:

  • 1st. The student should perform a short survey presentation. One or two scientific papers will be assigned to each student. A short survey on the topic will be performed, and a presentation will be given by the student in one of the last lessons.
  • 2nd. A Small Software Project should be realized by students (it is possible to work in groups of 2) that will have to choose an open source software system (or possibly one made by them), and provide a complete test plan with artifacts. A short report have to be delivered before the oral paper. Alternatively students can decide to perform a written paper on the date fixed for the exam as reported on the students carreer system (ESSE3).
  • 3rd. Finally the exam foresees an oral paper that can be performed after having passed the previous two papers. The date will be communicated by the teacher.

For each paper the student gets a mark in the range 6 and 12. The final mark results from the sum of the marks the student gets on each paper.

Papers Assignment

At this page you can find the list of papers presented during May 11th lesson


  • N/A