タグ: 品質保証

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

• 沈黙する失敗（成功に見える失敗）

  終了コード 0・出力あり・手元では正常に見えるのに中身が壊れている失敗。エラーを出さないため、コマンドの成否やファイルの有無で検証すると全部すり抜ける

• 形式手法（Formal Methods）

  仕様や設計を数学的に厳密な形で書き、その性質を機械で検査する技術群。AI コード生成の普及で再評価され、LLM に形式化させて検査器に判定させる使い方が実用になっている

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

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