LIsp Framework for Testing - Common Lisp.net

More documents

Recommendations

Info

YA Programmers Asst.• Let the programming environment share thecode and interact with the programmer– This special variable is declared in “file-1” butused in “file-2” which is loaded be<strong>for</strong>e “file-1”. Doyou want to fix it?– The variable “foo” isn’t used by the function, doyou want to declare it ignorable?• These are mechanical corrections that acomputer can notice and fixOctober 2003University of Massachusetts, AmherstGary King - EKSL
Declarative Compilation• If compiler optimizations are encodeddeclaratively as rules and trans<strong>for</strong>mations• Then the system could infer that knowingmore about types could provide “meaningful”optimizations in speed or time• I.e., the programming environment could say– “It looks as if array is a simple-vector, declaring itso should double the speed of function foo.”October 2003University of Massachusetts, AmherstGary King - EKSL
Page 1 and 2: LIsp Framework for TestingAddCorpor
Page 3 and 4: Why Test?• Machines are so fast a
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: What we need• Track problems- Und
Page 31 and 32: Big Fuzzy Bubble PictureOctober 200

LIsp Framework for Testing - Common Lisp.net

Create successful ePaper yourself

Delete template?

Save as template?