dotfiles/home/.claude/skills/test-design/SKILL.md at feature/formal_valification2 · Hakkadaikon/dotfilesテストを設計する／既存テストをレビューするための手法カタログと選定ワークフロー。 対象(機能、モジュール、API、PR 差分)から「テストすべき振る舞い」を網羅抽出し、 各振る舞いに適切なテスト手法を割り当て、必要な reference だけを読みに行く。 ユーザーが「テスト設計」「テストケースを洗い出す」「テスト観点」「テストレビュー」 「どんなテストを書くべき」「どうテストする」「テストしにくい」「カバレッジ」「テスト戦略」 「単体テストの考え方」「TDD」「テストファースト」と言ったとき、 または「テストが甘い／薄い／足りない」「テストが脆い／壊れやすい／実装を変えると壊れる」 「テストが flaky ／不安定／たまに落ちる」「リファクタ前にテストで固めたい」と困っているとき、 あるいは手法名(同値分割、境界値、デシジョンテーブル、ペアワイズ、property based、mutat
