概要
https://qiita.com/ry-harada/items/a23ff2245977e29c3335
詳細内容
## Kiroが一般提供開始されたので新機能を試す #AWS
https://qiita.com/ry-harada/items/a23ff2245977e29c3335
AIを活用した仕様駆動開発（SDD）を支援するIDE「Kiro」が一般提供を開始し、プロパティベーステスト（PBT）生成など、開発者のワークフローを強化する新機能を導入しました。
**Content Type**: ⚙️ Tools
**Language**: ja
**Scores**: Signal:4/5 | Depth:4/5 | Unique:3/5 | Practical:4/5 | Anti-Hype:4/5
**Main Journal**: 100/100 | **Annex Potential**: 99/100 | **Overall**: 76/100
**Topics**: [[Kiro, 仕様駆動開発, プロパティベーステスト, AIコード生成, 開発ツール]]
KDDIのエンジニアによる記事では、AIを活用した仕様駆動開発（SDD）を支援するIDE「Kiro」の一般提供（GA）開始が報じられ、特に注目すべき新機能が紹介されています。これまでチャットベースのAI開発が主流だったのに対し、Kiroは要件定義、設計、タスク分割という明確なワークフローに沿ってコード生成を進める点が特徴です。
GAに伴い追加された主要機能の一つが「プロパティベーステスト（PBT）」です。これは、従来の単体テストのように固定のテストケースを用いるのではなく、さまざまな入力値の組み合わせを自動生成し、システムが満たすべき「プロパティ（特性）」を検証するテスト手法です。記事では、電卓ツール作成を例に、Kiroが要件（requirements.md）からPBTの要件（design.md）を自動生成し、さらに`fast-check`ライブラリを用いたPBTコードまで作成するプロセスを具体的に示しています。これにより、網羅性の高いテストを効率的に実現し、仕様と実装の乖離を防ぐことができます。
また、実装されたコードや仕様の履歴を管理できる「チェックポイント」機能により、作業の巻き戻しが容易になりました。さらに、一つのウィンドウで複数のプロジェクトを扱える「マルチルートワークスペースサポート」や、GUIを持たない環境での利用を可能にする「Kiro CLI」、そしてチームでの共同開発を支援する「チーム向けKiro」といった機能も追加されています。これらは、開発者がより柔軟かつ統制の取れた環境でSDDを実践できるよう、Kiroの適用範囲を大きく広げるものです。
著者は、Kiroのこれらの新機能が、ウェブアプリケーション開発におけるテストの効率化と品質向上に貢献し、AIを活用した開発ワークフローを一段階引き上げる可能性を秘めていると強調しています。特に、PBTによる自動的な多角的なテストは、手作業でのテストケース作成の手間を大幅に削減し、開発者が本質的な設計と実装に集中できるメリットをもたらします。