Advanced Topics in Software Engineering

Teacher:

• Andrea Polini - Webex room
• Barbara Re - Webex room

ESSE3 Link

• Advanced Topics in Software Engineering - AY 2020/2021

Lessons schedule:

• Wednesday, 11am - 1pm, Room AB1, Polo Lodovici;
• Thursday, 4pm - 6pm, Room AB1, Polo Lodovici.

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
  • Basic of software testing
  • Software quality dimensions
  • Testing and other verification activities
  • Type of testing
• Test Generation Strategies from Requirements
  • 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
  • Finite State Machines (FSM)
  • Conformance testing
  • The W-Method
  • The partial W-Method
• Test Generation from Combinatorial Design
• Test Adequacy Assessment Using Control Flow and Data Flow
  • Control-Flow criteria
  • Data-Flow criteria
• Unit and Integration Testing

Course Slides

• .

Video Recording

• .

Textbooks

• [AM] Aditya P. Mathur, Foundations of Software Testing, 2nd Edition, Pearson 2014

Exam Dates A.Y. 2020/2021

• February 2nd and 23th, 2021 - 11am-1pm, room AB1

Exam rules:

The exam consist of two parts.

• Written test (1h30). On the exam date a written test takes place, it has a mixed structure: solution of exercises, and open/close answer questionnaire.
• Optional oral presentation that can be performed in a date agreed with the teachers.

Results

• N/A