Friday 14 October 2011

Test driven development

The difference between validation and verification.
Are we building the product right. Verification

Are we building the right product.  Validation

How do you know that the product is right! Natural language is ambiguous.

Rigorous specifications should be written in unambiguous mathematical form.  Reification means you transform the specs into code.

No comments:

Post a Comment