Re: [tag] Test Assertions - A Simple Approach (homework for f2f)

["Dave Pawson" <dave.pawson@gmail.com>]

Pauls mail prompted further memories.

Some assertions are never explicit in a specification.
Generally safety is one such, we all assume that some piece of
hardware /software /system will be safe, even if its not
explicit in the spec, e.g. inferred by legislation.

So I don't think we can always map, even indirectly,
to the formal specification.

E.g. there could be a test to determine the over-volts protection limit
on a system. Normally inferred from locale specific H&S legislation.

regards DaveP