ما معنى القاعدة
القاعدة توقّعٌ بشأن سلوك دالة. قد تصف ما تُرجعه الدالة، أو ما يتوقعه المُستدعون، أو متطلبًا تضيفه أنت. القواعد المستمدة من شيفرتك قد تكون خاطئة، ويمكنك تصحيحها.
ما الذي يفحصه التحقق
تُحلَّل البنية المعمارية من المصدر، وهي تصف الدوال والمُستدعين والاعتماديات. يستمد نموذج مخصّص التوقعات من هذه البنية. ويفحص التحقق التغييرات مقابل تلك التوقعات.
يقرّر النموذج ما يجب أن يكون صحيحًا، وتتحقق القواعد مما إذا كان لا يزال كذلك.
قراءة الإخفاق
اقرأ الدالة والقاعدة وما حدث بدلًا منها والموقع والمُستدعين المتأثرين. تتبّع الدليل حتى الشيفرة قبل أن تقرر ما ستغيّره. قد يؤثر الإخفاق في مُستدعين خارج الملف الذي عدّلته.
فهم الحالة
النتيجة الناجحة تعني أن القاعدة المقيَّمة نجحت. والإخفاق يعني أن القاعدة المقيَّمة لم تتحقق. التقييم المعلّق أو غير المتاح ليس دليلًا على النجاح. اقرأ أي شرح مرفق قبل أن تتخذ إجراءً.
الإخفاقات الجديدة والموجودة مسبقًا
خط الأساس هو قاعدة الشيفرة قبل التغيير. المقارنة به تفصل الإخفاقات التي أُدخلت حديثًا عن تلك الموجودة أصلًا. قد يظل الإخفاق الموجود مسبقًا مهمًا؛ فالتسمية تخبرك فقط بأن هذا التغيير لم يُدخله.
صحّح التوقّع أو الشيفرة
إذا كانت الشيفرة خاطئة، فأصلحها بنفسك أو اختر «أصلحه» على بطاقة الإخفاق. يتلقى Panolayer Agent الدالة والقاعدة والمُستدعين المتأثرين كتكليف له، ويُعاد تشغيل التحقق عند انتهائه. وإذا كان التوقّع خاطئًا، فصحّح القاعدة. لا يكتشف التحقق كل خلل، وتتفاوت التغطية بحسب اللغة والمستودع.