يمكن أن يخضع مخرج كل مرحلة من مراحل عملية تطوير البرامج للتحقق عند فحصه وفقًا لمواصفات المدخلات.
أمثلة على التحقق من المنتجات الثانوية:
- في مواصفات التصميم مقابل مواصفات المتطلبات: هل تُنفذ مواصفات التصميم الهيكلي والتصميم التفصيلي ونموذج قاعدة البيانات المنطقي مواصفات المتطلبات الوظيفية وغير الوظيفية بشكل صحيح؟
- في منتجات البناء مقابل مواصفات التصميم: هل يُنفذ الكود المصدري وواجهة المستخدم ونموذج قاعدة البيانات المادي مواصفات التصميم بشكل صحيح؟
Source: wikipedia.org