المصطلحين "التحقق" و "التحقق من الصحة" في كثير من الأحيانتستخدم في الأدبيات الفنية وترتبط بتحليل جودة أي برنامج. في الأدبيات العلمية يمكن العثور على تفسيرات مختلفة لهذه المفاهيم. لذا ، دعونا نحاول فهم هذه القضية.
الأصح ، من وجهة نظرنا ،هو التعريف التالي. التحقق من الصحة والتحقق هي أنشطة تهدف إلى إجراء مراقبة الجودة لمنتج البرنامج من أجل الكشف عن الأخطاء فيه في المراحل المبكرة. يبدو أن لديهم هدف مشترك. ولكن مع ذلك ، فإن هذه الأنواع لديها اختلافات في مصادر الخصائص والقيود والقواعد المختبرة ، والتي يمكن اعتبار عدم احترامها خطأ.
التحقق هو فحص الامتثال.الوثائق الفنية للبرنامج التي يقدمها المشروع الفني أو الهندسة المعمارية أو نموذج المجال. تشمل "واجبات" هذا المصطلح مقارنة إجراءات التسوية مع عملية تطويرها وقواعدها ومعاييرها.
يمكن إجراء التحقق من البيانات لتأسيس امتثال البرنامج للمعايير والمتطلبات وقرارات التصميم ووثائق المستخدم المعمول بها. في الوقت نفسه ، تخضع تلك المستندات التي تتم مقارنتها معها للامتثال لمعاييرها ومعاييرها الموضوعة في الدولة التي يتم فيها استخدام البرنامج إلى التحقق الأولي الإلزامي. من الضروري أن تأخذ بعين الاعتبار والامتثال لجميع تسلسل العمليات.
في حالة الكشف عن خطأ أو عيب في التشغيلالبرنامج أو الكشف عن التناقض بين المستندات المذكورة أعلاه والأداء الحالي للبرنامج ، يجب أن يكون قرار اختيار مستند للتصحيح حلاً لمشكلة منفصلة.
على عكس التحقق ، التحقق من الصحة مسؤول عنالتحقق من الامتثال لمنتجات البرامج المطورة أو التي تمت صيانتها مع احتياجات أو احتياجات العملاء أو المستخدمين. غالبًا ما لا يتم تسجيل هذه الاحتياجات في أي وثائق. هذا هو السبب في أن التحقق من الصحة أقل رسمية من التحقق. وهي عملية يشارك فيها ممثل العميل ، والمستخدم ، ومحلل أو خبير في الموضوع. وبعبارة أخرى ، تلك التي يمكن أن تعبر عن الاحتياجات المحددة والاحتياجات الحقيقية لأصحاب المصلحة.
التحقق هو إجابة السؤال "هل تم تنفيذ البرنامج بشكل صحيح؟" ، والتحقق هو "هل تم إنشاء البرنامج الصحيح؟".
عند البحث عن إجابة لهذه الأسئلة ، يمكنك ذلكلتجد أن التحقق من الصحة (أو الشهادة) في مسائل المحتوى أوسع بعض الشيء من التحقق (التحقق). ومع ذلك ، يرتبط التحقق ارتباطًا وثيقًا بضمان مراقبة جودة منتج البرنامج.
على سبيل المثال ، التحقق من برنامج الكمبيوترإنه يوفر عملية يكون الهدف فيها التأكد من أن متطلبات البيانات التي تم الحصول عليها في دورة حياة منتج معينة راضية عن تلك التي تم الحصول عليها في المرحلة السابقة.
إذا كنا نتحدث عن التحقق من النموذج ، فسنتحدث عن التحقق من صحة تعيين هذا النموذج الحسابي للنماذج المفاهيمية أو الرياضية اللازمة.
عند التحقق من رمز النظام ، يتم تحليل ترميز المصدر والتحقق من الوصف الوثائقي الخاص به.
قد تتضمن عملية التحقق العملياتتحتوي على حسابات بديلة. تتم مقارنة الوثائق الفنية والعلمية للمشروع الجديد مع الوثائق المقابلة للمشروع الحالي ، والاختبار الإلزامي ، واختبار منتج برمجي جديد وعرض النتائج.
