بناء حزمة ضمان أمني قابلة للمراجعة

needed = {"creation-permission", "field-projection", "retrieval-permission", "result-expiry"}
planned = {"creation-permission", "field-projection", "result-expiry"}
assert sorted(needed - planned) == ["retrieval-permission"]
planned.add("retrieval-permission")
assert needed <= planned
print("new retrieval boundary identified in the plan")

new retrieval boundary identified in the plan

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

def unexpired(now, expires_at):
    return now < expires_at

assert unexpired(99, 100) is True
assert unexpired(100, 100) is False
assert unexpired(101, 100) is False
permission = False
assert (permission and unexpired(99, 100)) is False
print("expiry boundary remains separate from permission")

expiry boundary remains separate from permission

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