快速檢查測試失敗

Question

我有一個簡單函數集合的逆函數（簡單的移位碼）：

encode, decode :: Int -> String -> String 

和他們測試通過一些簡單的手動測試正常，但一個快速檢查測試報告失敗：

*** Failed! Falsifiable (after 8 tests and 4 shrinks): 
"\254" 
0 

但運行用手此相同的測試工作正常：

*Main> decode 0 (encode 0 "\254") 
    "c" 

我沒有問爲什麼失敗（即我會追查的東西），但爲什麼QuickCheck在手工操作（看似）相同的測試中失敗？

我懷疑它與字符編碼有關，一個解碼它，另一個把它當作字符串處理，但我不知道爲什麼。

---

這個問題是關於測試是如何工作的，不是（呢！）功能或失敗的原因，但這裏是代碼：

import Data.Char 
let2int c = ord c - ord 'a' 

int2let n = chr (ord 'a' + n) 

shift :: Int -> Char -> Char 
shift n c | isLower c = int2let ((let2int c + n) `mod` 26) 
      | otherwise = c 

encode, decode :: Int -> String -> String 
encode n xs = [shift n x | x <- xs] 
decode n  = encode (-n) 

參考：赫頓，2007年

quickCheck $ (\s n-> (decode n $ encode n s) == s) 

Answer 1

您提供的信息不足 - 下次請給出完整的測試和完整的代碼。當應用到quickCheck的輸出以給出除失敗結果以外的任何內容時，沒有魔術參與並且在測試中沒有充分的理由表達。

從你的代碼我想你的測試是decode 0 . encode 0 ~ id。這是不正確的，只看ghci的輸出：

*Main Test.QuickCheck> quickCheck (\x -> x == decode 0 (encode 0 x)) 
*** Failed! Falsifiable (after 13 tests and 4 shrinks):  
"\244" 
*Main Test.QuickCheck> decode 0 (encode 0 "\244") 
"r" 
*Main Test.QuickCheck> "\244" == "r" 
False