可能使R5RS代碼與SchemeUnit一起使用？

在我正在採用的課程中，我們使用Scheme的舊R5RS標準來解決SICP作業。我喜歡測試第一個開發，所以我認爲單元測試框架會很好，我選擇SchemeUnit來編寫小測試。可能使R5RS代碼與SchemeUnit一起使用？

迄今爲止，這隻能測試輸出中的原語（字符串，數字......），但在嘗試測試列表時遇到了路障。它有可能是與該計劃方言差異用於運行測試：

foo.scm：(define a-list (list 2))

富-tests.scm：在運行時(check-equal? a-list (list 2))

結果測試：

Unnamed test 
FAILURE 
name:  check-equal? 
location: tester.scm:22:3 
actual:  {2} 

expected: (2)

爲了使測試套件運行，我要補充"#lang scheme/base到F的頂部oo-tests.scm和require這個schemeunit包。在foo.scm中，我需要頂部有#lang r5rs和(#%provide (all-defined))。

我猜想列表在R5RS和「scheme/base」中有不同的實現方式。任何方式讓他們一起工作？爲什麼它失敗（{} vs（））？

來源

2013-02-17 oligofren

是的，正如您已經注意到的，列表在#lang r5rs與#lang scheme/base中的實現方式不同。如果可以在r5rs中寫入foo-tests.scm中的測試，這將有助於消除可能的混淆。

您應該可以通過在foo-tests.scm文件的頂部添加此項來完成此操作。

#lang r5rs 

(#%require schemeunit) 
(#%require "foo.scm") 

;; Now you can add your tests here: 
(check-equal? a-list (list 1 2 3))

如果測試套件是用相同的語言編寫的，那麼結構---特別是列表的表達---應該匹配起來。上面的測試應該有希望通過。

詳細說明r5rs列表和#lang scheme（和#lang racket）之間的區別：Racket使用不可變的cons對來表示列表。不可變的cons對不支持r5rs的set-car!和set-cdr!函數，所以它不會忠於#lang r5rs語言的標準以使用內置的不可變對。爲了支持r5rs標準，Racket包括一個單獨的mutable pairs數據類型，並在r5rs內一致地使用它。但這意味着Racket中的標準對和可變對不能相等比較。

來源

2013-02-17 21:04:00 dyoo

謝謝你的回答。我將「Planet」理解爲某種依賴管理應用程序（如Java世界中的Maven）。除了計劃單元之外，我還需要一個文本運行器來實際運行測試並顯示結果。我將添加到（#require）部分中，相當於（require（planet schematics/schemeunit：3/text-ui））？ – oligofren 2013-02-17 21:18:34

在現代的Racket中，知道單元測試框架現在與Racket的標準庫一起提供。請參閱：http://docs.racket-lang.org/rackunit/index.html。不要使用PLaneT中的那個，因爲它實際上是'rackunit'的祖先。如果你使用'check-equal？'的東西，你不需要顯式的測試運行器：只要運行測試模塊就足以驅動測試。如果您確實需要顯式測試運行器（用於更復雜的測試），請參閱http://docs.racket-lang.org/rackunit/quick-start.html的其餘部分。但是對於你在r5rs中做的事情，我並不認爲值得它的複雜性。 – dyoo 2013-02-17 21:24:41

謝謝。發現所需的語法是（＃％require schemeunit/text-ui）。然後我通過更改爲 #lang r5rs （＃％require rackunit）（＃％require rackunit/text-ui）（＃％require「foo.scm」）並定義一個最小值測試。似乎像我想要的那樣工作。非常感謝。介意我是否將這些信息添加到您的答案中？ – oligofren 2013-02-17 21:51:57

可能使R5RS代碼與SchemeUnit一起使用？

回答

相關問題