703-technologies-fuzzing-testing

CATS を使用した Java ファズテスト

CATS を使用して Java API のコントラクト駆動型ファズテストを設計、実装し、エッジケースや入力検証の不具合を早期に発見します。

このスキルで扱う内容

• 信頼できるローカル jar またはビルド済みイメージを使用した CATS のセットアップと、OpenAPI 駆動型ファズテストの基本的なコマンドの使い方
• 無効なペイロード、欠落フィールド、誤った型、形式不正な値に対するネガティブテスト戦略
• サイズ、範囲、形式、列挙型の制約に対する境界値テスト
• 実用的なログと再現可能な失敗を備えた CI 統合パターン
• プルリクエストを作成する前にコントリビューターが実行するローカルワークフロー
• ファズテストで見つかった問題の報告とトリアージの方法

対象範囲： CATS を使用した HTTP API のファズテストとコントラクト検証に焦点を当てます。このスキルを使用して、ローカルと CI の両方のワークフローで、実用的かつ反復可能なチェックを定義してください。

制約

ファズテストに関する変更を適用する前に、プロジェクトがコンパイルできることを確認してください。コンパイルに失敗した場合は、ただちに中止してください。実装後は、スキルを再生成して検証を実行してください。

• 必須：変更を適用する前に、./mvnw compile または mvn compile を実行してください
• 安全性：コンパイルに失敗した場合は、ただちに中止し、作業を続行しないでください
• 検証：改善を適用した後、./mvnw clean verify または mvn clean verify を実行してください
• サプライチェーン：検証済みのローカル cats/cats.jar または承認済みのビルド済みイメージのみを使用してください。生成される成果物は、信頼できるローカル入力または承認済みイメージの入力のみに依存する必要があります
• 変更を適用する前に：詳細な例、推奨されるパターンと避けるべきパターン、制約事項について、リファレンスを読んでください
• エッジケース：依頼の範囲が曖昧な場合は、変更を適用する前に中止し、確認の質問をしてください
• エッジケース：必要な入力、ファイル、ツールが不足している場合は、不足しているものを報告し、セットアップ手順を案内してよいか確認してください

このスキルを使用する場面

• Java プロジェクトにファズテストを追加する
• API のネガティブテストに CATS を使用する
• API コントラクトの堅牢性に関する CI の品質ゲートを確認する
• 境界値や不正形式の入力に対するテストカバレッジを改善する
• OpenAPI コントラクトに対して CATS のファズテストを実行する

ワークフロー

1. リファレンスを読み、プロジェクトの状況を評価する

変更を提案する前に、references/703-technologies-fuzzing-testing.md を読み、現在の API と関連する成果物を確認してください。

2. 範囲を把握し、改善対象を決める

求められている成果、制約、適用する変更の最小かつ安全なセットを特定してください。

3. 技術に沿った変更を適用する

リファレンスのパターンとプロジェクトの規約に従って、成果物を実装またはリファクタリングしてください。

4. 検証を実行し、結果を報告する

適切なチェックを実行し、変更内容、検証内容、今後の対応事項を要約してください。

リファレンス

詳細なガイダンス、例、制約事項については、references/703-technologies-fuzzing-testing.md を参照してください。