Kiro Specsの新機能「Analyze Requirements」でAWSインフラ要件の矛盾を見つけよう

こんにちは。デジタルイノベーション推進室の戦闘員Oです。

今回は、Kiroの最新機能「Analyze Requirements」を使って、AWSインフラの要件定義に潜む矛盾や曖昧さを、CloudFormationの作成前に検出する方法をご紹介します。

SI案件でAWSインフラを構築する際、こんな経験はありませんか？

•  CloudFormationを書き始めてから「あれ、この要件矛盾してない？」と気づく
• 構築後にお客様から「要件と違う」と指摘される
• 要件定義書の曖昧な表現を、開発者が独自に解釈してしまう

これらの問題は、要件定義の段階で矛盾や曖昧さを検出できれば防げます。

Kiro Specsの新機能「Analyze Requirements」は、LLMとSMTソルバー（自動推論エンジン）を組み合わせて、要件全体を分析し、論理的な矛盾を検出してくれます。

1. 今回のゴール：設計前の要件品質チェック
2. Kiro Specsとは？（おさらい）
3. Analyze Requirementsとは？（新機能紹介）
4. 仕組み：LLM + SMTソルバー
5. 実践：AWSインフラ要件で試してみる
6. 検出された問題と修正
7. まとめ

今回は、AWSインフラの要件定義をKiro Specsに入力し、Analyze Requirementsで矛盾を検出してから、CloudFormationを作成する流れを実践します。

達成したいこと：

• AWSインフラ要件の矛盾を設計前に検出
• 曖昧な表現を明確化
• 要件の品質を向上させてからCloudFormationを作成
• 手戻りを削減

完成イメージ：

1. お客様からAWSインフラ要件を受領
    ↓
2. Kiro Specsに要件を入力
    ↓
3. Analyze Requirementsを実行
    ↓ 矛盾・曖昧さを自動検出
4. 問題を修正（お客様に確認）
    ↓
5. 修正後の要件でCloudFormationを作成
    ↓
6. 品質の高いインフラ構築が完成！

従来の方法との比較：

Kiro Specsは、機能開発の仕様を管理するKiroの中核機能です。

Requirements（要件定義）
  ↓ ★ここでAnalyze Requirementsを実行
Design（設計）
  ↓
Tasks（実装タスク）
  ↓
Implementation（実装）

重要なポイント：
> Kiro Specsは「AI向けの指示書」ですが、Analyze Requirementsを使うことで、
> SI案件の要件定義書の品質チェックにも活用できます。
 

2026年5月にリリースされた新機能です。
（参考: https://kiro.dev/changelog/ide/0-12/ ）

Analyze Requirementsは、要件定義の矛盾・曖昧さ・抜け漏れを自動検出する機能です。

特徴：

• 要件を個別ではなく、全体を横断的に分析
• 要件の論理的な矛盾を検出（人間のレビューでは見落としがちな問題を検出）
• 修正案を提示
• 数分で分析完了

Specsの要件定義後に、以下の2箇所から実行できます：

1. チャット画面：「Analyze Requirements」オプションを選択
2. エディタ：「Continue」ドロップダウンから「Analyze Requirements」を選択

自然言語の要件
  ↓ LLM（大規模言語モデル）
形式論理に変換
  ↓ SMTソルバー（自動推論エンジン）
要件の論理的な矛盾を検出
  ↓
問題を検出・修正案を提示

Analyze Requirementsの技術的な仕組みを理解しましょう。

この機能は「ニューロシンボリックAI」と呼ばれる手法を使っています。

ステップ1：LLMが要件を形式論理に変換
　　　自然言語：「RDSはマルチAZ構成で高可用性を確保する」
 　　　 ↓
　　　形式論理：RDS.MultiAZ = true ∧ RDS.AvailabilityZones ≥ 2

ステップ2：SMTソルバーが矛盾を検出

　　　要件A：RDS.MultiAZ = true（高可用性）

　　　要件B：RDS.MultiAZ = false（コスト削減のためシングルAZ）
　　　  ↓
　　　SMTソルバー：「要件Aと要件Bは同時に満たせない」（論理的矛盾を検出）

ステップ3：修正案を提示
　　　検出された矛盾：
　　　　- 要件A「マルチAZ構成で高可用性を確保」
　　　　- 要件B「コスト削減のためシングルAZ構成」

　　　修正案：
　　　　1. 本番環境はマルチAZ、開発環境はシングルAZとする
　　　　2. コスト削減の要件を緩和し、マルチAZを優先する
　　　　3. 高可用性の要件を緩和し、シングルAZとする

人間のレビューの限界：

• 要件が多い場合（50件以上）、全組み合わせの確認は困難
• 異なるセクションに書かれた矛盾は見落としやすい
• 暗黙の前提に気づきにくい
• レビュアーの経験に依存

Analyze Requirementsの強み：

• 全 要件の組み合わせを網羅的にチェック
• 要件の論理的な矛盾を検出（見落としなし）
• 暗黙の前提を明示化
• 経験に依存しない一貫した品質

それでは、実際にAWSインフラの要件をKiro Specsに入力し、Analyze Requirementsを実行してみましょう。

お客様から以下のようなAWSインフラ要件を受領したとします。

プロジェクト概要：

• 社内業務システムのAWS移行
• Webアプリケーション + データベース
• 本番環境と開発環境を構築
   

お客様から受領した要件定義書（抜粋）：

Kiroで新しいSpecを作成し、上記の要件を入力します。

手順：

1. コマンドパレット（Ctrl+Shift+P）を開く
2.  "Kiro: New Spec" を選択
3. 「AWSインフラ構築」と入力
4. 要件を入力

要件入力後、「Analyze Requirements」を実行します。

手順：
5.    要件が生成されたら、チャット画面で「Analyze Requirements」を選択

6.    分析が開始される（数分かかります）
7.    結果がチャットに表示される

Analyze Requirementsが検出した問題を確認し、修正していきましょう。

今回は、Kiro Specsの新機能「Analyze Requirements」を使って、AWSインフラ要件の矛盾を設計前に検出する方法を解説しました。
Kiroを活用して、より高品質な要件定義を実現しましょう！

• Kiro公式サイト
• Kiroドキュメント - Analyze Requirements
• Kiro Changelog - 0.12.155
• AWS基礎セキュリティのベストプラクティス