あれ
id:tennashi
API 仕様が要件に従うことを Alloy で検証してみる
この記事はtacoms Advent Calendar 2025の6日目である。 qiita.com tennashi.hatenablog.com の続き。 前回、受け入れ条件を Gherkin 記法で表現し、受け入れテストで検証できるようにした。 ここで検証の構造を整理する。 実装が要件を満たすことは受け入れテストで確認できる。 実装が仕様を満たすことはユニットテスト…