[sv-ac] RE: mantis 3474: proposal added

I was reviewing the proposal and compiling some editorial comments, when suddenly I realized that there is something more fundamental that I do not understand.
The proposal seems to make a distinction between violation reports and violation fail messages.

This is most prominent in the code example at the end:

// now, after 10 time units, do not disable the violation
// reporting but disable reporting of fail messages for them.
// As a result of this, no violation report messages shall be
// generated by the tool.
#10 $assertcontrol(FAILOFF, UNIQUE|UNIQUE0|PRIORITY);

// now, after 10 time units, disable violation reporting.
#10 $assertcontrol(OFF, UNIQUE|UNIQUE0|PRIORITY);

// now, after 10 time units, enable the fail message reporting
// for violation report types. Although, fail message reporting is
// going to be enabled now, still no messages shall be issued as
// violation reporting is disabled.
#10 $assertcontrol(FAILON, UNIQUE|UNIQUE0|PRIORITY);

I don't understand this.
12.4.2 and 12.5.3 don't make such a distinction, as far as I can see.
They talk about 'violation checks' that produce 'violation reports' when they fail, somewhat parallel to 'assertion evaluation' and 'action blocks'.
All that the LRM really says is, "A tool-specific violation report mechanism is then used to report each violation" (12.4.2.1)
A violation has no effect other than to generate a report.
Unless maybe you want to distinguish, say, between keeping the information on violations in a database and printing messages.
Like for example, cover assertions that only have pass action blocks, but the LRM talks about collecting information on coverage.
But the LRM doesn't seem to say anything like that for violation checks.
If you want here to make such a new distinction, then you will have to be more explicit about it.
Otherwise, OFF and FAILOFF should be the same for violation checks, or say that only one of them applies.

Shalom
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.
Received on Wed Jul 4 02:20:49 2012