Verificación y validación 18/19

Curso 2018/2019

Timetable and Rooms

Morning group (in Spanish).

      • Theory: Thursday 13:00-15:00, Room 3304 (Fernando Ortega).
      • Practice: Tuesday 11:00-13:00, Room 3004 (Ángel González).

Evening group (in English).

    • Theory: Friday 17:00-17:00, Room 3302 (Fernando Ortega).
    • Practice: Wednesday 17:00-19:00, Room 3 CIC (Ángel González).

General Information

  • Degree: Ingeniería del Software (Software Engineering).
  • Year: 4th.
  • Semester: First.
  • ECTS credits: 6.
  • Learning guide

Syllabus

  1. Verification and Validation in the software development process.
  2. Debugging.
  3. Static analysis techniques.
  4. Dynamic analysis techniques.
  5. Verification and validation standards.

Bibliography

  1. G. Myers (2011), The art of software testing, Hoboken, New Jersey, Ed. Wiley.
  2. C. Kaner (1999), Testing computer software, New York, New York, Ed. Wiley.
  3. R. Black (2007), Pragmatic software testing, Indianapolis, Indiana, Ed. Wiley.
  4. A. Zeller (2009), Why programs fail. Ed. Elsevier Inc.