अपरिक्षणीय कार्यक्रमों का परीक्षण

कार्यक्रम परीक्षण में बार-बार उठाए जाने वाले एक अनुमान के अनुसार एक ओरेकल है (यानी परीक्षक या एक बाहरी तंत्र सही ढंग से यह तय कर सकता है कि एक कार्यक्रम द्वारा उत्पन्न आउटपुट सही है या नहीं)। एक कार्यक्रम अपरिक्षणीय है यदि या तो एक ओरेकल मौजूद नहीं है या परीक्षक को यह निर्धारित करने के लिए कुछ असाधारण मात्रा में समय व्यतीत करना पड़ता है कि आउटपुट सही है या नहीं। ओरेकल के अनुमान की वैधता की जांच की जाती है और यह निष्कर्ष निकाला जाता है कि कई मामलों में यह एक यथार्थवादी अनुमान नहीं है। ओरेकल की उपलब्धता को मानने के परिणामों की जांच की जाती है और विकल्पों का अध्ययन किया जाता है।