MIRA: add simple metrics to MIRA
Add to the overview node of the requirements analysis:
- number of requirements (with use cases)
- number of formal specifications
- percentage of formal specifications per requirement
- number of requirements per priority
- number of requirements per status
- number of use cases
- number of scenarios
- number message sequence charts
- percentage of message sequence charts per use case
meaningful measures on safety information (one per field of safety
section) —>ask Sebastian
meaningful measures on traces —>number of traces, …
(from redmine: issue id 1856, created on 2013-12-06, closed on 2018-02-14)