3. Unjustified properties
Given three samples for
x
:
x = 7
x = –42
x = 22
Potential invariants:
x
¹
0
x
£
22
x
³
–42
“Given three samples for
x
”:
a particular program point is executed just three times by a test suite.
These are true but not justified.
“Not the sort of conclusion you or I would draw.”
