От: | deniok | ||
Дата: | 31.05.08 09:13 | ||
Оценка: | 88 (7) +1 |
Mechanical checks of simple properties enormously improve software quality:
Types ~ General but weak theorems (usually checked statically)
Contracts ~ General and strong theorems, checked dynamically for particular instances that occur during regular program operation
Unit tests ~ Specific and strong theorems, checked quasi-statically on particular “interesting instances”
Needed: Better ways of integrating these different sorts of checks