Sumários

L2 -- Static Testing

15 Fevereiro 2021, 13:00 José Campos

Topics introduced and discussed: Software Verification vs. Software Validation. Static testing, in particular manual reviews and tools to automatically perform static testing.


Not Taught.

9 Fevereiro 2021, 15:00 José Campos

Given the number of students that usually attend VVS, and as it was discussed in the 2019/2020 period, there is no need to have two theoretical-practical sessions for VVS.  Thus, in the 2020/2021 period only one theoretical-practical session took place.


R1.21

8 Fevereiro 2021, 15:00 José Campos

Introduce students to the **critical thinking** required to be a good software engineering and tester through a toy example.


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.