According to the undecidability theorem, most software quality properties are not provable. Therefore, what kind of testing techniques do we use to achieve software quality?© BrainMass Inc. brainmass.com October 9, 2019, 7:59 pm ad1c9bdddf
"According to the undecidability theorem, most software quality properties are not provable."
- That is right.
Software testing is the process used to measure the quality of developed computer software. Quality is constrained to such topics as:
- Security, but can also include more technical requirements as described under the ISO standard ISO 9126, such as:
Types of testing techniques they use to achieve software quality are explained.