وعلى الرغم من ان الاختبار يمكن ان يحدد صحة البرمجيات تحت افتراض بعض فرضيات المحددة (انظر التسلسل الوظيفي ل صعوبة الاختبار ادناه), فان الاختبار لا يمكن ان يحدد جميع العيوب داخل البرمجيات. بدلا من ذلك, يقدم النقد او المقارنة التي تقارن بين حالة وسلوك المنتج ضد العرافات - المبادئ او الاليات التي قد يتعرف عليها شخص ما بمشكلة. وقد تشمل هذه العرافات (ولكنها لا تقتصر على) المواصفات, العقود, المنتجات المقارنة, النسخ السابقة من نفس المنتج, والاست الاستدلالات حول الغرض المتوقع او المتوقع, او توقعات المستخدم او العملاء, المعايير ذات الصلة, القوانين المطبقة, او غيرها من المعايير.
ما الذي يجعل اوراكل اثناء الاختبار?
المواصفات, العقود, المنتجات المقارنة, النسخ السابقة