Re: Satisfying requirements trivially
- Subject: Re: Satisfying requirements trivially
- From: "NIAP Interpretations Board" <ccevs-nib@nist.gov>
- Date: Tue, 10 Sep 2002 09:01:04 -0700
- Content-description: Mail message body
- Content-transfer-encoding: 7BIT
- Content-type: text/plain; charset=US-ASCII
- Priority: normal
- Reply-to: cc-cmt@nist.gov
Mathematically an implication is always true if the predicate is false. This
can give rise to true but useless statements. In the example, the NIB would
like to know what circumstances would make useful the listing of FPT_ITT.1 as a
satisfied requirement for a product with no separate parts. In the broader
view, the NIB would like evaluators to weed out requirements in STs that are
'trivially satisfied'; that is, they really do not apply.
Date Index |
Thread Index |
Problems or questions? Contact list-master@nist.gov