Explore BrainMass
Share

Explore BrainMass

    Undecidability Theorem

    This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

    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
    https://brainmass.com/math/number-theory/undecidability-theorem-135747

    Solution Preview

    "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:
    - Correctness,
    - Completeness,
    - Security, but can also include more technical requirements as described under the ISO standard ISO 9126, such as:
    - Capability,
    - Reliability,
    - Efficiency,
    ...

    Solution Summary

    Types of testing techniques they use to achieve software quality are explained.

    $2.19