التحقق - عملية التحقق من صحة البرنامج

مصطلحات "التحقق" و "التحقق من صحة" في كثير من الأحيان يستخدم في الأدب التقني وترتبط بنوعية تحليل أي برنامج. في الكتابات العلمية هناك تفسيرات مختلفة لهذه المفاهيم. لذا، في محاولة للنظر في هذه المسألة.

الأنسب، في رأينا، هو التعريف التالي. المصادقة والتحقق - من الأنشطة التي تهدف إلى تنفيذ مراقبة الجودة من البرنامج للكشف عن الأخطاء في المراحل الأولى منه. ويبدو أن لديهم هدف مشترك. ومع ذلك، هذه الأنواع لديها خلافات في مصادر خصائص قابلة للتحقق والقيود واللوائح، وانتهاك الذي يمكن اعتباره خطأ.

التحقق - التحقق من مطابقة البرنامج الوثائق التقنية التي تقدمها متطلبات المواصفات، والهندسة المعمارية أو نطاق نموذج. في "واجب" لمصطلح يتم تضمين وإجراءات الحساب بالمقارنة مع عملية التنمية والقواعد والمعايير.

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

في حال وجود خطأ أو عيب في البرنامج أو آخر وجود تعارض بين الوثائق المذكورة أعلاه والأداء الحالي للبرنامج القرار على اختيار أداة لتصحيح يجب أن يكون الحل لمهمة معينة.

وخلافا التحقق من صحة التحقق المسؤولة عن التحقق من الامتثال للاحتياجات البرمجيات المتقدمة أو مصحوبة أو احتياجات العملاء أو المستخدمين. وغالبا ما لا تسجل هذه الاحتياجات في أي مستندات. هذا هو السبب في التحقق من صحة أقل رسمية من التحقق. هذه هي عملية شارك فيها ممثلون من العملاء، المستخدم، ويمكن أيضا حضور المحلل أو خبير في هذا المجال. وبعبارة أخرى، تلك التي لا نستطيع التعبير عن الاحتياجات المحددة والاحتياجات الحقيقية لأصحاب المصلحة.

التحقق - هو الجواب على السؤال: "هل البرنامج قدم بشكل صحيح؟"، والتحقق من صحة - «هل البرنامج المناسب".

عند البحث عن إجابة لهذه الأسئلة، قد تجد أن يتم تعيين محتوى التحقق من صحة (أو شهادة) أوسع قليلا من الاختيار (التحقق). ومع ذلك، يرتبط ارتباطا وثيقا التحقق ضمان السيطرة على جودة المنتج البرنامج.

على سبيل المثال، والتحقق من برنامج كمبيوتر يوفر العملية التي الأساس للالهدف من ذلك هو ضمان تلبية هذه الاحتياجات، ولا سيما دورة حياة المنتج التي تم الحصول عليها، لتلك التي حصلت في الخطوة السابقة.

إذا كنا نتحدث عن التحقق النموذج، وهنا سوف نركز على التحقق من العرض الصحيح من النماذج الحاسوبية اللازمة المفاهيمية أو النماذج الرياضية.

عندما يحلل كود نظام التحقق من مصدر الترميز والتحقق من مطابقة وصف الفيلم الوثائقي لها.

ويمكن أن تشمل عملية التحقق من عمليات تضم حسابات بديلة. مقارنة بين الوثائق التقنية والعلمية للمشروع جديد مع المستندات اللازمة للمشروع موجود الفحص الإلزامي، واختبار منتج البرنامج الجديد وإظهار النتائج.