LIsp Framework for Testing - Common Lisp.net

More documents

Recommendations

Info

Outline• <strong>Testing</strong> and LIFT• What’s good about LIFT• Problems with LIFT• What I’d really like to seeOctober 2003University of Massachusetts, AmherstGary King - EKSL
Why Test?• Machines are so fast and storage capacities are so hugethat we face orders of magnitude more room <strong>for</strong>confusion, the propagation and diffusion of which areeasily inadvertently mechanized.-- Edsger W. Dijkstra memo 1243source: http://www.cs.utexas.edu/users/EWD/October 2003University of Massachusetts, AmherstGary King - EKSL
Page 1: LIsp Framework for TestingAddCorpor
Page 5 and 6: Why Test?• We test to make sure w
Page 7 and 8: Testing in Lisp…• Common Lisp h
Page 9 and 10: LIFT has friends(alphabetically)•
Page 11 and 12: LIFT in a nutshell• deftest- Crea
Page 13 and 14: One More Example(deftest test-binar
Page 15 and 16: The Good• It fits with Lisp- Inte
Page 17 and 18: What’s Wrong• Testing Macros•
Page 19 and 20: Macro Problems - 2• Work-around:
Page 21 and 22: Outline• Testing and LIFT• What
Page 23 and 24: What’s missing? Design Checks•
Page 25 and 26: And more!• Specification of proto
Page 27 and 28: What we need• Track problems- Und
Page 29 and 30: Declarative Compilation• If compi
Page 31 and 32: Big Fuzzy Bubble PictureOctober 200

LIsp Framework for Testing - Common Lisp.net

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?