LIsp Framework for Testing - Common Lisp.net

More documents

Recommendations

Info

Macro Problems• Start with a macro and a test(defmacro my-macro (a b c)`(+ ,a (* ,b ,c)))(deftest test-my-macro () ())(addtest test-1(ensure-equal (my-macro 1 2 3) 7))==> (prints) Test Passed!• Change the macro(defmacro my-macro (a b c)`(list ,a ,b ,c))Uh Oh!(run-test)==> (prints) Test Passed!October 2003University of Massachusetts, AmherstGary King - EKSL
Macro Problems - 2• Work-around: test the expansionOctober 2003(addtest (test-bind)expand-2-in-1(ensure (equal (macroexpand'(bind ((a 1) b)(declare (fixnum a) (dynamic-extent b))))'(let ((a 1))(declare (type fixnum a))(let (b)(declare (dynamic-extent b)))))))– But depends on how the macro works, not onwhat the macro is supposed to do• Can write macros to call functions and thentest these functions• Could use reflection to automatically reevaluatetests with changed macros…University 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: What’s Wrong• Testing Macros•
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

Create successful ePaper yourself

Delete template?

Save as template?