"Test-Oracle"
- 判斷標準的推導來源：測試與實作同源的形態、同源時抓得到的錯誤類別與拿回獨立性的變數
出處同源與判斷標準被實作污染的差別，產出、組織與契約各層由誰決定判斷標準，以及不再逐行讀產出時由哪個環節接手驗證
- 測試判斷標準的形態：逐例斷言、不變量、變形關係，以及要由人觀察結果才判得了的探究
判斷標準依寫測試的人事先要知道什麼分成逐例斷言、不變量與變形關係，各自的適用條件與偵測能力，以及哪些驗證要有人看見結果才判得了
- Test Oracle
一個測試憑什麼判定通過或失敗說不清楚、或被測對象沒有可逐例算出的正確答案時，用來定位判斷標準的來源，以及每一種來源的射程
- Test Provenance（測試出處）
測試與被測實作由同一來源產出時（同一次生成、同一輪對話、同一個人同時寫），用來判斷這組測試還剩下多少驗證力
- Property-Based Testing（性質式測試）
逐例斷言列不完、或預期輸出難以逐例算出時，用來把驗證對象從個別例子換成對所有輸入都該成立的性質
- Metamorphic Testing（變形測試）
被測對象沒有已知正確輸出、連不變量都難以陳述時，用兩次執行之間的關係取代預期值