In
Section 4.3 ("TA for Properties")
comment (a): formatting: needs bullets or so for the
two alternatives below.
comment (b): replace
"test assertion" with "target" or "widget"
Jacques
--------------------------------------------------------------------------------------------------
"There is a major distinction
between requirement 104 and requirement 101:
-
requirement 101 uses “medium-size” as a prerequisite: its predicates only
concern widgets that
are already established as
medium-size.
-
requirement 104 defines how to qualify a test
assertion as medium-sized."