فرز نقاط الضعف والتحقق من الإصلاح الفعلي

def triage(path_present, invariant_failed):
    if path_present is False:
        return "not-applicable-under-reviewed-facts"
    if path_present is True and invariant_failed is True:
        return "confirmed"
    return "needs-investigation"

assert triage(True, True) == "confirmed"
assert triage(False, None) == "not-applicable-under-reviewed-facts"
assert triage(None, None) == "needs-investigation"
print("three applicability categories checked")

three applicability categories checked

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

required = {"old-defect-regression", "legitimate-export", "artifact-revision"}
closure = {"old-defect-regression":"observed-pass", "legitimate-export":"observed-pass", "artifact-revision":"lab-build-9"}
assert required <= closure.keys()
assert closure["old-defect-regression"] == "observed-pass"
assert closure["legitimate-export"] == "observed-pass"
assert bool(closure["artifact-revision"])
print("closure evidence fields checked")

closure evidence fields checked

يتحقق البرنامج الكامل من حقول البيانات وحالاتها المعلنة ولا ينفذ الانحدارات المسماة. يحتاج الإغلاق الحقيقي مخرجاتها الفعلية وربطها المتحقق بالملف المشحون مع حفظ الحدود غير المختبرة.