Verification by analysis
Showing the requirement is met by calculation, modelling or reasoning from data, without running the item under test conditions.
- the record it leaves
- an analysis report with its inputs, method, conclusion and reviewer
- read from
- a verification method cell reading “analysis”, “analyses”, “analyse”, “analyze”, “a”, “calculation”, “engineering analysis”, “static analysis” and “timing analysis”
Whether analysis is enough for a given requirement or safety rating is the assessor's judgement, and the finder never makes it. It reads whether a method is recorded and whether a verification is linked and passed: a blank method, or a method with no linked verification, raises finding 2.