"Test-Oracle"
- 判準的推導來源：測試憑什麼不是實作的回音
測試與實作由同一次生成或同一輪對話產出時，用來判斷這組測試剩下多少驗證力，以及要動哪個變數才能拿回來
- 判準寫不下來的時候：性質、變形關係與留給人的部分
逐例預期值算不出來或跟不上產出速度時，用來決定判準退到哪一層、以及哪些驗證工作交不出去
- Test Oracle（測試判準來源）
一個測試憑什麼判定通過或失敗說不清楚、或被測對象沒有可逐例算出的正確答案時，用來定位判準的來源，以及每一種來源的射程
- Test Provenance（測試出處）
測試與被測實作由同一來源產出時（同一次生成、同一輪對話、同一個人同時寫），用來判斷這組測試還剩下多少驗證力
- Property-Based Testing（性質式測試）
逐例斷言列不完、或預期輸出難以逐例算出時，用來把驗證對象從個別例子換成對所有輸入都該成立的性質
- Metamorphic Testing（變形測試）
被測對象沒有已知正確輸出、連不變量都難以陳述時，用兩次執行之間的關係取代預期值