Skip to content

Latest commit

 

History

History
16 lines (9 loc) · 684 Bytes

README.md

File metadata and controls

16 lines (9 loc) · 684 Bytes

Validation and Verification: Practical Session #2

The goal of this practical session is to use and implement static analysis tools to compute metrics such as Cyclomatic Complexity(CC) or Tight Class Cohesion (TCC). After this session you should be able to use existing static analysis tools, and to extend them to implement your own analysis.

Exercises

You can access the exercises here

Lab implementation

You can realize this lab by group of 1 or 2.

Deliverable and evaluation

We will mark this lab. You need to fork this repository and to submit a pull request with the answers written in the dedicated sections (deadline December 22nd 2023, 23:59).