ACM Comm 2012 08 Proving Programs Continuous (Notes)

From University
Jump to: navigation, search

Link to publication

"Quantum Money" CACM August 2012

Proving Programs Continuous
by Andrea Zeller, p.106

Proving Programs Continuous

Understanding why programs work well, if only coarsely tested.
Traditional testing will be impossible on evolving software.

People

Ideas

  1. Software is usually correct or not.
  2. Formal correctness proofs are difficult because all inputs must be covered. Any gap invalidates the proof.
  3. Testing assumes that correct output for an input set, including bounds checking, applies for all input sets in that class.
    1. The software is continuous over that input class.
  4. Lipschitz Continuous[1]
  5. Control Theory connection to Programs

References

  1. ACM Comm 2012 08 Continuity and Robustness of Programs (Notes)

Internal Links

Parent Article: Reading Notes