ノーガード戦法（ぉぃ）<<< Example-Based Testing (#EBT) < Property-Based Testing (#PBT) < 証明
from Property-based testing
https://twitter.com/objectxplosive/status/1638494622321377284
ノーガード戦法（ぉぃ）<<< Example-Based Testing (#EBT) < Property-Based Testing (#PBT) < 証明
の順で保障する物が強くなるんだけど cost も増えていく。2割のコストで 8割目指す戦略として PBT はとても有効なので手札として持っていて損は無いし使える場所なら積極的に捻じ込んでいきたい
証明→形式手法と捉えるkoushisa.icon
関連
Property-based testingの対照概念がExample-based testing
PBTとEBTは相互補完の関係