Conclusions
Market and technological considerations require much better software assurance
Better assurance can be obtained by market-driven establishment of accredited test labs
All parties must apply known methods
Principles of metrology apply to IT:
- precise reference: using formal specs
- statistical measures of uncertainty