ஒரு பொருள் அனைத்து நிலைமைகளிலும் சரியாக செயல்படுகிறது என்பதை நிறுவ முடியாது
ஒரு தயாரிப்பு அனைத்து நிலைமைகளிலும் சரியாக செயல்படுகிறது என்பதை சோதனையால் உறுதிப்படுத்த முடியாது, ஆனால் குறிப்பிட்ட நிலைமைகளின் கீழ் அது சரியாக செயல்படவில்லை என்பதை மட்டுமே உறுதிப்படுத்த முடியும்.
என்ன டெஸ்டிங் சாப்ட்வேர் (testing software) முழுமையாக நிறுவப்படவில்லை?