"Property-Based-Testing"
- 測試判斷標準的形態：逐例斷言、不變量、變形關係，以及要由人觀察結果才判得了的探究 判斷標準依寫測試的人事先要知道什麼分成逐例斷言、不變量與變形關係，各自的適用條件與偵測能力，以及哪些驗證要有人看見結果才判得了
- 資源不足時測試作法的降級順序：判斷標準與實作分開產出、維度交叉盤點、性質式測試、突變測試 人手或工具不足時各項作法取用到什麼程度，以及進出降級版本時要留下的紀錄與回看訊號
- Property-Based Testing（性質式測試） 逐例斷言列不完、或預期輸出難以逐例算出時，用來把驗證對象從個別例子換成對所有輸入都該成立的性質