Choose one type of proof from the list below and explain how you might apply the same principles to help ensure that a piece of software meets desired specification and has fewer bugs. Be sure to reference software testing standards as well as the mathematical proof principles.
- proof by example or counter-example
- proof based on if-then and if and only if contingencies
- proof by contradiction
- proof using cases
- proof by induction