Junit - التحقق من البرنامج مقابل غضاء Whitebox؟

Question

أنا أفهم أن التحقق من البرنامج هو فرع من هندسة الكمبيوتر - ولكنه تطبيق عملي لقواعد الكود العالمي الحقيقي محدود من خلال انفجار الفرامل.

أنا أفهم أيضا أنه كجزء من تصميم تغيير البرنامج الخاص بك، للحصول على تعديل لإطار Java موجود، من المفيد التفكير في اختبارات وايتوكس وحدود و Blackbox لخوارزميةك، مقدما.(بعض الناس يسمون هذا التطوير الذي يحركه أرجوحة - التفكير قبل الكود.)

على افتراض أنك تأخذ هذا التفكير وتضمينه في اختبارات Junit Style، أفترض أن اسم علوم الكمبيوتر للمحتويات محتويات بصرامة "اختبار / غسيل لبيانات البيض" وليس كافيا ليشمل "التحقق من البرامج".

لذلك سؤالي هو - اختبارات جونيت - غسالة أو التحقق من البرنامج؟

Answer 1

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

إلقاء نظرة على حساب التفاضل والتكامل PI-Calculus لفهم ما أقصده.

بالطبع، Junit لا علاقة له بالتحقق من البرنامج الرسمي.