تصميم حالات إساءة دون هجمات تشغيلية

assignments = {"organizer-a": {"workshop-1"}, "organizer-b": {"workshop-2"}}
def may_export(subject, workshop):
    return workshop in assignments.get(subject, set())

assert may_export("organizer-a", "workshop-1") is True
assert may_export("organizer-a", "workshop-2") is False
assert may_export("unknown", "workshop-1") is False
print("bounded resource-substitution cases checked")

bounded resource-substitution cases checked

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

def reserve(active, capacity):
    if active >= capacity:
        return "FULL", active
    return "ACCEPTED", active + 1

status, count = reserve(1, 2)
assert (status, count) == ("ACCEPTED", 2)
status, count = reserve(count, 2)
assert (status, count) == ("FULL", 2)
print("capacity invariant preserved sequentially")

capacity invariant preserved sequentially

يفحص البرنامج الكامل انتقال قبول ورفض محليين. السعة اثنان بيانات تدريب. لا يثبت اعتمادا متزامنا أو أقفال قاعدة أو تقييد معدل أو توفر ورشة حقيقية.