2026年5月24日 100 Test Runs Is a Lie: Property-Based Testを実際にどうサイジングすべきか Property-based testingのデフォルト100例は統計的戦略ではなく社会的妥協だ。自分の信頼性の要件とCI予算にマッチする実行回数の選び方を解説する。 deep-divesproperty-based-testingtest-coverageshrinking
2026年5月23日 Rustのプロパティベーステストが単体テストでは見逃すバグを見つける 例ベースのテストは思いついた入力だけをカバーする。プロパティベースのテストはランダムデータを生成し、不変条件を検証し、失敗を最小の反例まで縮小する。 deep-divesrustproperty-based-testingquickcheckproptest
2026年5月16日 AI Safety Stack: types、contracts、property tests、mutation gates AI-generated code を production で持たせたいなら、code review だけでは足りません。type constraints から mutation testing、runtime containment までの layered safety stack が必要です。 ai-engineeringsafety-stacktypesdesign-by-contractproperty-based-testingmutation-testing
2026年5月15日 優れたエンジニアリングの考え方が AI で経済的になるまでニッチのままだった理由 Design by contract、property-based testing、mutation testing、model checking は悪い考え方だったわけではありません。継続運用に必要な専門知が重すぎただけです。AI はその前提を変えます。 ai-engineeringsoftware-reliabilitydesign-by-contractproperty-based-testingmutation-testing
