若くない何かの悩み若くない何かの悩み何かをdisっているときは、たいていツンデレですので大目に見てやってください。自動テスト長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。ゆるリファレンス(apply-scriptスタイル)引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。