タグ: 品質保証

"品質保証" が付いた記事と Wiki ページ

• 形式手法（Formal Methods）

  ソフトウェアの正しさを数学的に証明する技術群。AI コード生成の普及で『検証のボトルネック』が顕在化し、コスト超過で退けられていた形式手法が実用段階へ再評価されている

• ハーネスエンジニアリング

  AI エージェントの出力品質を保証する設計パターン。検証層・制約層・フィードバック層で構成