"My current strategy is to not read any of the code written by my agents." • AIエージェントが書いたコードは、もう読まない • 代わりに、エージェントを厳格な制約で取り囲む • ユニットテスト、Gherkinテスト、QA⼿順、品質メトリクス、ミューテ ーションテスト、カバレッジ など • すべての関⾨を通過するからこそ、⽣成されたコードに very high confidence(⾮常に⾼い信頼) を持てる テストが「信頼」を担保する装置になっている? 4
Verification(検証): 「仕様」通りか • 出⼒が「⼊⼒(仕様‧前⼯程の要求)」通りに正しく作れているか • Validation(妥当性確認): 「ユーザーの要求」通りか • 出⼒が「もともとのユーザーの要求」に合っているか • Barry Boehm • Verification = Are we building the product right? (正しく作っているか) • Validation = Are we building the right product? (正しいものを作っているか) 出典: B. Boehm (1979) V&Vガイドライン論⽂ / ISTQB CTFL Syllabus v4.0 11
https://www.youtube.com/watch?v=07QRjD6q1IE • Michael Bolton「Testing vs. Checking」DevelopSense(2009)(James Bachと共同で発展): https://developsense.com/blog/2009/08/testingvs-checking • Janet Gregory & Lisa Crispin「Holistic Testing」Scrum Guide Expansion Pack: https://scrumexpansion.org/holistic-testing/ • Dan Ashby「We test here and here and here」 • Brian Marick「Agile Testing Quadrants」 • Lisa Crispin & Janet Gregory『Agile Testing Condensed』 • Ronald Cummings-John & Owais Peer『LEADING QUALITY』 • Gojko Adzic『Specification by Example』(2011) 37
Hashimoto「Harness Engineering」(2026/2) • Addy Osmani「Loop Engineering」(2026/6) • Peter Steinberger「Graph Engineering」(2026/7) • r.kagaya「ループエンジニアリングの本質」Zenn: https://zenn.dev/r_kaga/articles/a27a3879dd3ce4 • Dan North「We need to talk about testing」(2021): https://dannorth.net/blog/we-need-to-talk-about-testing/ • Dan North「BDD is not about Testing」BDDx 2016 slides: https://speakerdeck.com/tastapod/bdd-is-not-about-testing 38