NEW ISSUE: POL-TA-40012 should be re-written in a positive form

[David Booz <booz@us.ibm.com>]

TARGET: SCA Policy V1.1 Test Assertions CD01

DESCRIPTION:
POL-TA-40012 is testing the requirement POL40009: ( Any two intents applied
to a given element MUST NOT be mutually exclusive) The way it is worded
currently is for a negative test; the TA "triggers" only for failure cases.
The predicate of the TA is "The SCDL element is not valid.", which hints at
some appropriate behavior from the runtime, like raising an error, but the
normative stmt doesn't explicitly say anything about an error (though one
is certainly implied). The intent of this TA should not be to verify that
an error is raised in such a case, rather the TA should be stated in the
positive form more aligned with the wording of POL40009, and allowing a
testcase writer to write positive and or negative tests for the TA.

Also, it is noted that there are several typos in that TA:
1) The reference to POL-TA-30023 is incorrect as there is no such TA
2) There seems to be row delineator missing in the table for this TA

PROPOSAL:

Rewrite TA-40012 as follows:

POL-TA-40012:
SOURCE: POL40009
TARGET: SCDL element with a set of 2 or more intents applied to it
PREDICATE: The intent set contains no pair of intents that are mutually
exclusive.

... and fix the formatting problem.


Dave Booz
STSM, BPM and SCA Architecture
Co-Chair OASIS SCA-Policy TC and SCA-J TC
"Distributed objects first, then world hunger"
Poughkeepsie, NY (845)-435-6093  or  8-295-6093
e-mail:booz@us.ibm.com