What rigorous software assurance offers
Thwarts attacks potentially introduced by untrustworthy developers
- test to potential attacks
Addresses vulnerabilities introduced by flaws in the design and implementation
- test to ambiguities and inconsistencies
- probe interpretation for items of latitude