لماذا لا يمكن التحليل الديناميكي تغطية جميع مسار التنفيذ لبرنامج؟

Question

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

شاهد، إذا قمت بتطبيق أداة: التنفيذ الرمزي + تنفيذ ملموس تماما مثل Dart

ثم أعتقد أنه يجب أن تغطي كل مسار التنفيذ مع الحفاظ على ميزات التحليل الديناميكي ..

قلت أن التحليل الديناميكي لا يمكن أن يغطي كل مسار التنفيذ، ولكن في الأساس لماذا؟أعتقد أن التقنيات مثل السهام ناضجة الآن ...

آخرون، مثل فحص النموذج، يضمن نظريا تغطية الكود 100٪ ... هل أنا على حق؟

هل يمكن لأي شخص أن يعطيني بعض المساعدة؟شكرا لك!

Answer 1

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

giveacodicetagpre.

ثم هناك 67108864 مسارات التعليمات البرمجية المحتملة، اعتمادا على قيم المتغيرات 26 المنطقية.