Urgent.News

600+ sources. One page. See who else covered it.

Editions

More in Culture

Write down every guarantee before you write any code

Here is every promise a to-do list makes. VARIABLE tasks Init == tasks = [i \in Ids |-> "absent"] Add(i) == tasks[i] = "absent" /\ tasks' = [tasks EXCEPT ![i] = "open"] Complete(i) == tasks[i] =…

  • Nine guarantees define behavior of to-do list system
  • Guarantees embedded in test suite, not documented
  • Documenting guarantees early can prevent bugs

More from Tuesday 11 August →