Software Testing
Software Testing
Testing can be used as a generic metric as well. Correctness testing and reliability testing are two major
areas of testing. Software testing is a trade-off between budget, time and quality.
Software testing is not a "silver bullet'' that can guarantee the production of high quality software
systems. While a "correct'' correctness proof demonstrates that a software system (which exactly meets
its specification) will always operate in a given manner, software testing that is not fully exhaustive can
only suggest the presence of flaws and cannot prove their absence.