# 13.6.?完備性檢測 (Testing for sanity)
你經常會發現一組代碼中包含互逆的轉換函數,一個把 A 轉換為 B ,另一個把 B 轉換為 A。在這種情況下,創建“完備性檢測”可以使你在由 A 轉 B 再轉 A 的過程中不會出現丟失精度或取整等錯誤。
考慮這個[要求](index.html#roman.requirements):
1. 如果你給定一個數,把它轉化為羅馬數字表示,然后再轉換回阿拉伯數字表示,你所得到的應該是最初給定的那個數。因此,對于 `1..3999` 中的`n`,`fromRoman(toRoman(n)) == n` 總成立。
## 例?13.5.?以 `toRoman` 測試 `fromRoman` 的輸出
```
class SanityCheck(unittest.TestCase):
def testSanity(self):
"""fromRoman(toRoman(n))==n for all n"""
for integer in range(1, 4000):
numeral = roman.toRoman(integer)
result = roman.fromRoman(numeral)
self.assertEqual(integer, result)
```
| | |
| --- | --- |
| \[1\] | 你已經見到過 [`range` 函數](../native_data_types/declaring_variables.html#odbchelper.multiassign.range "例?3.20.?連續值賦值"),但這里它以兩個參數被調用,返回了從第一個參數 (`1`) 開始到_但不包括_ 第二個參數 (`4000`) 的整數列表。因此,`1..3999` 就是準備轉換為羅馬數字表示的有效值列表。 |
| \[2\] | 我想提一下,這里的 `integer` 并不是一個 Python 關鍵字,而只是沒有什么特別的變量名。 |
| \[3\] | 這里的測試邏輯顯而易見:把一個數 (`integer`) 轉換為羅馬數字表示的數 (`numeral`),然后再轉換回來 (`result`) 并確保最后的結果和最初的數是同一個數。如果不是,`assertEqual` 便會引發異常,測試也便立刻失敗。如果所有的結果都和初始數一致,`assertEqual` 將會保持沉默,整個 `testSanity` 方法將會最終也保持沉默,測試則將會被認定為通過。 |
[最后兩個要求](index.html#roman.requirements)和其他的要求不同,似乎既武斷而又微不足道:
1. `toRoman` 返回的羅馬數字應該使用大寫字母。
2. `fromRoman` 應該只接受大寫羅馬數字 (也就是說給定小寫字母進行轉換時應該失敗)。
事實上,它們確實有點武斷,譬如你完全可以讓 `fromRoman` 接受小寫和大小寫混合的輸入;但他們也不是完全武斷;如果 `toRoman` 總是返回大寫的輸出,那么 `fromRoman` 至少應該接受大寫字母輸入,不然 “完備性檢測” (要求 #6) 就會失敗。不管怎么說,_只_ 接受大寫輸入還是武斷的,但就像每個系統都會告訴你的那樣,大小寫總會出問題,因此事先規定這一點還是有必要的。既然有必要規定,那么也就有必要測試。
## 例?13.6.?大小寫測試
```
class CaseCheck(unittest.TestCase):
def testToRomanCase(self):
"""toRoman should always return uppercase"""
for integer in range(1, 4000):
numeral = roman.toRoman(integer)
self.assertEqual(numeral, numeral.upper())
def testFromRomanCase(self):
"""fromRoman should only accept uppercase input"""
for integer in range(1, 4000):
numeral = roman.toRoman(integer)
roman.fromRoman(numeral.upper())
self.assertRaises(roman.InvalidRomanNumeralError,
roman.fromRoman, numeral.lower())
```
| | |
| --- | --- |
| \[1\] | 關于這個測試用例最有趣的一點不在于它測試了什么,而是它不測試什么。它不會測試 `toRoman` 的返回值是否[正確](testing_for_success.html#roman.testtoromanknownvalues.example "例?13.2.?testToRomanKnownValues")或者[一致](testing_for_sanity.html#roman.sanity.example "例?13.5.?以 toRoman 測試 fromRoman 的輸出");這些問題由其他測試用例來回答。整個測試用例僅僅測試大寫問題。你也許覺得應該將它并入到[完備性測試](testing_for_sanity.html#roman.sanity.example "例?13.5.?以 toRoman 測試 fromRoman 的輸出"),畢竟都要遍歷整個輸入值范圍并調用 `toRoman`。\[11\]但是這樣將會違背一條[基本規則](testing_for_success.html "13.4.?正面測試 (Testing for success)"):每個測試用例只回答一個的問題。試想一下,你將這個測試并入到完備性測試中,然后遇到了測試失敗。你還需要進一步分析以便判定測試用例的哪部分出了問題。如果你需要分析方能找出問題所在,無疑你的測試用例在設計上出了問題。 |
| \[2\] | 這有一個和前面相似的情況:盡管 “你知道” `toRoman` 總是返回大寫字母,你還是需要把返回值顯式地轉換成大寫字母后再傳遞給只接受大寫的 `fromRoman` 進行測試。為什么?因為 `toRoman` 只返回大寫字母是一個獨立的需求。如果你改變了這個需求,例如改成總是返回小寫字母,那么 `testToRomanCase` 測試用例也應作出調整,但這個測試用例應該仍能通過。這是另外一個[基本規則](testing_for_success.html "13.4.?正面測試 (Testing for success)"):每個測試用例必須可以與其他測試用例隔離工作,每個測試用例是一個“孤島”。 |
| \[3\] | 注意你并沒有使用 `fromRoman` 的返回值。這是一個有效的 Python 語法:如果一個函數返回一個值,但沒有被使用,Python 會直接把這個返回值扔掉。這正是你所希望的,這個測試用例并不對返回值進行測試,只是測試 `fromRoman` 接受大寫字母而不引發異常。 |
| \[4\] | 這行有點復雜,但是它與 `ToRomanBadInput` 和 `FromRomanBadInput` 測試很相似。 你在測試以特定值 (`numeral.lower()`,循環中目前羅馬數字的小寫版) 調用特定函數 (`roman.fromRoman`) 會確實引發特定的異常 (`roman.InvalidRomanNumeralError`)。如果 (在循環中的每一次) 確實如此,測試通過;如果有一次不是這樣 (比如引發另外的異常或者不引發異常),測試失敗。 |
在下一章中,你將看到如何編寫可以通過這些測試的代碼。
## Footnotes
\[11\] “除了誘惑什么我都能抗拒。 (I can resist everything except temptation.)”――Oscar Wilde
- 版權信息
- 第?1?章?安裝 Python
- 1.1.?哪一種 Python 適合您?
- 1.2.?Windows 上的 Python
- 1.3.?Mac OS X 上的 Python
- 1.4.?Mac OS 9 上的 Python
- 1.5.?RedHat Linux 上的 Python
- 1.6.?Debian GNU/Linux 上的 Python
- 1.7.?從源代碼安裝 Python
- 1.8.?使用 Python 的交互 Shell
- 1.9.?小結
- 第?2?章?第一個 Python 程序
- 2.1.?概覽
- 2.2.?函數聲明
- 2.3.?文檔化函數
- 2.4.?萬物皆對象
- 2.5.?代碼縮進
- 2.6.?測試模塊
- 第?3?章?內置數據類型
- 3.1.?Dictionary 介紹
- 3.2.?List 介紹
- 3.3.?Tuple 介紹
- 3.4.?變量聲明
- 3.5.?格式化字符串
- 3.6.?映射 list
- 3.7.?連接 list 與分割字符串
- 3.8.?小結
- 第?4?章?自省的威力
- 4.1.?概覽
- 4.2.?使用可選參數和命名參數
- 4.3.?使用 type、str、dir 和其它內置函數
- 4.4.?通過 getattr 獲取對象引用
- 4.5.?過濾列表
- 4.6.?and 和 or 的特殊性質
- 4.7.?使用 lambda 函數
- 4.8.?全部放在一起
- 4.9.?小結
- 第?5?章?對象和面向對象
- 5.1.?概覽
- 5.2.?使用 from _module_ import 導入模塊
- 5.3.?類的定義
- 5.4.?類的實例化
- 5.5.?探索 UserDict:一個封裝類
- 5.6.?專用類方法
- 5.7.?高級專用類方法
- 5.8.?類屬性介紹
- 5.9.?私有函數
- 5.10.?小結
- 第?6?章?異常和文件處理
- 6.1.?異常處理
- 6.2.?與文件對象共事
- 6.3.?for 循環
- 6.4.?使用 `sys.modules`
- 6.5.?與目錄共事
- 6.6.?全部放在一起
- 6.7.?小結
- 第?7?章?正則表達式
- 7.1.?概覽
- 7.2.?個案研究:街道地址
- 7.3.?個案研究:羅馬字母
- 7.4.?使用 {n,m} 語法
- 7.5.?松散正則表達式
- 7.6.?個案研究:解析電話號碼
- 7.7.?小結
- 第?8?章?HTML 處理
- 8.1.?概覽
- 8.2.?sgmllib.py 介紹
- 8.3.?從 HTML 文檔中提取數據
- 8.4.?BaseHTMLProcessor.py 介紹
- 8.5.?locals 和 globals
- 8.6.?基于 dictionary 的字符串格式化
- 8.7.?給屬性值加引號
- 8.8.?dialect.py 介紹
- 8.9.?全部放在一起
- 8.10.?小結
- 第?9?章?XML 處理
- 9.1.?概覽
- 9.2.?包
- 9.3.?XML 解析
- 9.4.?Unicode
- 9.5.?搜索元素
- 9.6.?訪問元素屬性
- 9.7.?Segue [9]
- 第?10?章?腳本和流
- 10.1.?抽象輸入源
- 10.2.?標準輸入、輸出和錯誤
- 10.3.?查詢緩沖節點
- 10.4.?查找節點的直接子節點
- 10.5.?根據節點類型創建不同的處理器
- 10.6.?處理命令行參數
- 10.7.?全部放在一起
- 10.8.?小結
- 第?11?章?HTTP Web 服務
- 11.1.?概覽
- 11.2.?避免通過 HTTP 重復地獲取數據
- 11.3.?HTTP 的特性
- 11.4.?調試 HTTP web 服務
- 11.5.?設置 User-Agent
- 11.6.?處理 Last-Modified 和 ETag
- 11.7.?處理重定向
- 11.8.?處理壓縮數據
- 11.9.?全部放在一起
- 11.10.?小結
- 第?12?章?SOAP Web 服務
- 12.1.?概覽
- 12.2.?安裝 SOAP 庫
- 12.3.?步入 SOAP
- 12.4.? SOAP 網絡服務查錯
- 12.5.?WSDL 介紹
- 12.6.?以 WSDL 進行 SOAP 內省
- 12.7.?搜索 Google
- 12.8.? SOAP 網絡服務故障排除
- 12.9.?小結
- 第?13?章?單元測試
- 13.1.?羅馬數字程序介紹 II
- 13.2.?深入
- 13.3.?romantest.py 介紹
- 13.4.?正面測試 (Testing for success)
- 13.5.?負面測試 (Testing for failure)
- 13.6.?完備性檢測 (Testing for sanity)
- 第?14?章?測試優先編程
- 14.1.?roman.py, 第 1 階段
- 14.2.?roman.py, 第 2 階段
- 14.3.?roman.py, 第 3 階段
- 14.4.?roman.py, 第 4 階段
- 14.5.?roman.py, 第 5 階段
- 第?15?章?重構
- 15.1.?處理 bugs
- 15.2.?應對需求變化
- 15.3.?重構
- 15.4.?后記
- 15.5.?小結
- 第?16?章?函數編程
- 16.1.?概覽
- 16.2.?找到路徑
- 16.3.?重識列表過濾
- 16.4.?重識列表映射
- 16.5.?數據中心思想編程
- 16.6.?動態導入模塊
- 16.7.?全部放在一起
- 16.8.?小結
- 第?17?章?動態函數
- 17.1.?概覽
- 17.2.?plural.py, 第 1 階段
- 17.3.?plural.py, 第 2 階段
- 17.4.?plural.py, 第 3 階段
- 17.5.?plural.py, 第 4 階段
- 17.6.?plural.py, 第 5 階段
- 17.7.?plural.py, 第 6 階段
- 17.8.?小結
- 第?18?章?性能優化
- 18.1.?概覽
- 18.2.?使用 timeit 模塊
- 18.3.?優化正則表達式
- 18.4.?優化字典查找
- 18.5.?優化列表操作
- 18.6.?優化字符串操作
- 18.7.?小結
- 附錄?A.?進一步閱讀
- 附錄?B.?五分鐘回顧
- 附錄?C.?技巧和竅門
- 附錄?D.?示例清單
- 附錄?E.?修訂歷史
- 附錄?F.?關于本書
- 附錄 G. GNU Free Documentation License
- G.0. Preamble
- G.1.?Applicability and definitions
- G.2.?Verbatim copying
- G.3.?Copying in quantity
- G.4.?Modifications
- G.5.?Combining documents
- G.6.?Collections of documents
- G.7.?Aggregation with independent works
- G.8.?Translation
- G.9.?Termination
- G.10.?Future revisions of this license
- G.11.?How to use this License for your documents
- 附錄 H. GNU 自由文檔協議
- H.0. 序
- H.1.?適用范圍和定義
- H.2.?原樣復制
- H.3.?大量復制
- H.4.?修改
- H.5.?合并文檔
- H.6.?文檔合集
- H.7.?獨立著作聚集
- H.8.?翻譯
- H.9.?終止協議
- H.10.?協議將來的修訂
- H.11.?如何為你的文檔使用本協議
- 附錄 I. Python license
- I.A. History of the software
- I.B.?Terms and conditions for accessing or otherwise using Python
- 附錄 J. Python 協議
- J.0. 關于譯文的聲明
- J.A.?軟件的歷史
- J.B.?使用 Python 的條款和條件