L1 -- Introduction to Software Verification and Software Validation

8 Fevereiro 2021, 13:00 • José Campos

Topics introduced and discussed: Why do we need to Verify and Validate a software project?  Examples of software *bugs*.  Terminology: failure, fault, and error.  Software Verification vs. Software Validation.  Verification and Validation in software development models.  Software Testing and why is it so hard.